Details
Title代数的記述に基づく抽象的順序機械の処理系の作成
Authors鷲坂光一
 井上克郎
 杉山裕二
 鳥居宏次
Reference情報処理学会 ソフトウェア工学 52-9
Typereport
 研究会
DateFeb/13/1987
Number17
Files

Back