詳細 | |
---|---|
題名 | 代数的記述に基づく抽象的順序機械の処理系の作成 |
著者 | 鷲坂光一 |
井上克郎 | |
杉山裕二 | |
鳥居宏次 | |
文献 | 情報処理学会 ソフトウェア工学 52-9 |
種別 | 国内会議 |
日付 | 1987年2月13日 |
番号 | 17 |
ファイル | ![]() |
BibTeX | @inproceedings{sel17, author = {鷲坂光一 and 井上克郎 and 杉山裕二 and 鳥居宏次}, title = {代数的記述に基づく抽象的順序機械の処理系の作成}, booktitle = {情報処理学会 ソフトウェア工学 52-9}, year = 1987, month = feb, } |