詳細
題名	代数的記述に基づく抽象的順序機械の処理系の作成
著者	鷲坂光一
	井上克郎
	杉山裕二
	鳥居宏次
文献	情報処理学会 ソフトウェア工学 52-9
種類	report
	研究会
日付	1987/2/13
番号	17
ファイル

戻る