代数的記述に基づく抽象的順序機械の処理系の作成
| 題名 | 代数的記述に基づく抽象的順序機械の処理系の作成 |
|---|---|
| 著者 | 鷲坂光一, 井上克郎, 杉山裕二, 鳥居宏次 |
| 文献 | 情報処理学会 ソフトウェア工学 52-9 |
| 種類 | report / 研究会 |
| 日付 | 1987年2月13日 |
| 番号 | 17 |
| ファイル | |
| 引用形式 | @techreport{1987ID17,
author = {, 鷲坂光一 and , 井上克郎 and , 杉山裕二 and , 鳥居宏次},
year = {1987},
month = {feb 13},
title = {代数的記述に基づく抽象的順序機械の処理系の作成},
}
|