1.

図書
図書
1. Prolog入門
古川康一著
出版情報: 東京 : オーム社, 1986.9
所蔵情報: loading…
2.

図書
図書
2. Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (: gw ; : us)
K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 485 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 (: gw ; : us)
K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 383 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. 人工知能基礎論
M. R. Genesereth, N. J. Nilsson共著 ; 古川康一監訳
出版情報: 東京 : オーム社, 1993.4
所蔵情報: loading…
5.

図書
図書
5. 数理論理学
古川康一, 向井国昭著
出版情報: 東京 : コロナ社, 2008.6
シリーズ名: コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18
所蔵情報: loading…
6.

図書
図書
6. 人工知能 : 新しいAIのトレンド : 特集
溝口文雄, 古川康一責任編集
出版情報: 東京 : コロナ社, 1990.7
シリーズ名: コンピュートロール : computer and application's mook ; 31
所蔵情報: loading…
7.

図書
図書
7. 知識情報処理シリーズ
古川康一, 溝口文雄共編 ; 淵一博監修
出版情報: 東京 : 共立出版, ‎1986.2-‎1989.11
所蔵情報: loading…
8.

図書
図書
8. データ構造 (1 ; 2)
A.T.ベルッティス著 ; 古川康一 [ほか] 訳
出版情報: 東京 : 日本コンピュータ協会, 1974.3
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 18
所蔵情報: loading…
9.

図書
図書
9. プログラム変換
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.8
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 7
所蔵情報: loading…
10.

図書
図書
10. 知識プログラミング
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1988.9
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 8
所蔵情報: loading…