close
1.

図書
図書
1. 論理による問題の解法 : Prolog入門
R. コワルスキ著 ; 山田眞市, 菊池光昭, 桑野龍夫訳
出版情報: 東京 : 培風館, 1987.3
シリーズ名: 情報処理シリーズ ; 8
所蔵情報: loading…
2.

図書
図書
2. Logic programming : proceedings of the fifth international conference and symposium (: set ; v. 1 ; v. 2)
edited by Robert A. Kowalski and Kenneth A. Bowen
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…
3.

図書
図書
3. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 (: gw ; : us)
edited by W. Bibel and R. Kowalski
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 87
所蔵情報: loading…
4.

図書
図書
4. Logic for problem solving (: pbk)
Robert Kowalski
出版情報: New York : Elsevier North Holland, c1979
シリーズ名: Elsevier computer science library ; . Artificial intelligence series ; 7
所蔵情報: loading…