著者典拠情報

標目形：
中島, 玲二(1947-)||ナカジマ, レイジ
属性：
Personal
日付：
1947
から見よ参照形：
Nakajima, Reiji, 1947-
Nakajima, R. (Reiji), 1947
注記：
The IOTA programming system, c1983: t.p. (R. Nakajima) verso t.p. (Reiji Nakajima)
京都大学数理解析研究所教授
著者典拠ID：
DA00666141


1.

図書
図書
1. The IOTA programming system : a modular programming environment (: gw ; : us)
edited by R. Nakajima and T. Yuasa
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 160
所蔵情報: loading…
2.

図書
図書
2. 数理情報学入門 : スコット・プログラム理論
中島玲二著
出版情報: 東京 : 朝倉書店, 1982.3
シリーズ名: 数理科学ライブラリー ; 3
所蔵情報: loading…
3.

図書
図書
3. 構造的PASCALプログラミング : プログラム設計と証明の組織的方法
Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
出版情報: 東京 : 日本コンピュータ協会, 1980.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44
所蔵情報: loading…