ハギヤ, マサミ
萩谷, 昌己(1957-)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 場所 | 東京 |
| 一般注記 | 東京大学理学部助教授 専攻:ソフトウェア科学 |
| Dates of Birth and Death | 1957 |
| から見よ参照 | Hagiya, Masami, 1957- |
| コード類 | 典拠ID=AU00083797 NCID=DA00068762 |
| 1 | 論理と計算 / 萩谷昌己著 東京 : 岩波書店 , 1993.6 |