Detail
Tiele
代数的記述に基づく抽象的順序機械の処理系の設計
Author
鷲坂光一
Date
February 20, 1987
Number
4
Files
Back
