Nakajima, Reiji
中島, 玲二, 1947-
Nakajima, R. (Reiji), 1947-
中島, 玲二
VIAF ID: 108450664 (Personal)
Permalink: http://viaf.org/viaf/108450664
Preferred Forms
-
100 1 _ ‡a Nakajima, R. ‡q (Reiji), ‡d 1947-
-
100 1 _
‡a
Nakajima, R.
‡q
(Reiji),
‡d
1947-
-
100 1 _ ‡a Nakajima, Reiji
-
100 1 _ ‡a Nakajima, Reiji
-
100 1 _ ‡a Nakajima, Reiji
-
100 1 _
‡a
中島, 玲二
-
100 1 _
‡a
中島, 玲二
‡d
1947-
-
100 1 _
‡a
中島, 玲二,
‡d
1947-
4xx's: Alternate Name Forms (9)
Works
| Title | Sources |
|---|---|
| design of well-structured and correct programs. |
|
| The IOTA programming system : a modular programming environment |
|
| Kōzōteki pasukaru puroguramingu |
|
| Proving abstract specifications to be valid for their program implementations |
|
| Ronri to puroguramu imiron |
|
| Sūri jōhōgaku nyūmon |
|
| Sype, class of types or partial types, for program specification structuring, and their formalization a first order logic |
|
| Zenkoku daigaku shokuin, 1981: |
|
| 構造的PASCALプログラミング : プログラム設計と証明の組織的方法 |
|
| 数理情報学入門 : スコット・プログラム理論 |
|
| 様相論理とその実時間制御及び人工知能への応用 |
|
| 論理とプログラム意味論 |
|
