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

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

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

図書
図書
7. インタフェースの科学
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.4
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 5
所蔵情報: loading…
8.

図書
図書
8. 並列論理型言語GHCとその応用
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.9
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 6
所蔵情報: loading…
9.

図書
図書
9. 第五世代コンピュータ入門
古川康一 [ほか] 共著
出版情報: 東京 : オーム社, 1987.1
所蔵情報: loading…
10.

図書
図書
10. 自然言語の基礎理論
古川康一, 溝口文雄共編 ; 淵一博監修 ; 石川彰 [ほか] 執筆
出版情報: 東京 : 共立出版, 1986.10
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 4
所蔵情報: loading…