10 0 0 0 ALGOL N の開発
- 著者
- 島内 剛一
- 出版者
- 一般社団法人日本ソフトウェア科学会
- 雑誌
- コンピュータソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.1, no.2, pp.183-188, 1984-07-13
8 0 0 0 OA 数学者用ワープロSPE
- 著者
- 島内 剛一
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.40, no.3, pp.264-268, 1988-07-29 (Released:2008-12-25)
1 0 0 0 OA 人工頭脳への1歩
- 著者
- 島内 剛一
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.5, no.3, pp.116-120, 1961-09-30 (Released:2009-09-04)
1 0 0 0 OA 証明のプログラミング
- 著者
- 島内 剛一
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.15, no.1, pp.48-55, 1963-08-15 (Released:2008-12-25)
- 被引用文献数
- 1