ナカジマ, レイジ
中島, 玲二(1947-)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | The IOTA programming system, c1983: t.p. (R. Nakajima) verso t.p. (Reiji Nakajima) 京都大学数理解析研究所教授 |
| Dates of Birth and Death | 1947 |
| から見よ参照 | Nakajima, Reiji, 1947- Nakajima, R. (Reiji), 1947 |
| コード類 | 典拠ID=AU20012015 NCID=DA00666141 |
| 1 | 論理とプログラム意味論 / 田辺誠, 中島玲二, 長谷川真人著 東京 : 岩波書店 , 1999.9 |