close
1.

図書
図書
1. 基本的算法
野下浩平, 高岡忠雄, 町田元 [著]
出版情報: 東京 : 岩波書店, 1983.4
シリーズ名: 岩波講座情報科学 ; 10
所蔵情報: loading…
2.

図書
図書
2. 知識の帰納的推論
E.Y.Shapiro著 ; 有川節夫訳
出版情報: 東京 : 共立出版, 1986.7
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 3
所蔵情報: loading…
3.

図書
図書
3. プログラミングによる計算可能性理論
A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
出版情報: 東京 : サイエンス社, 1987.12
シリーズ名: Information & computing ; 18
所蔵情報: loading…