★ ★
 
HOME    mypage        Japanese    Academic Library Association of Niigata    Feedback  
Return to Browse by Author

Sort by Issue Date |  Sorting by Issue Date
TitleAuthors Issue Date
A formal theory of the calculus of indicationIshii, TadaoMar-2006
ソフトウェア仕様の差分について石井, 忠夫; Ishii, Tadao2007-3
ソフトウェア仕様とプログラムの導出石井, 忠夫; Ishii, TadaoMar-2009
構成的型理論に基づいた定理証明プログラムの試作石井, 忠夫; Ishii, TadaoMar-2010

Showing 4 items.