close
1.

図書

図書
edited by Krzysztof Apt
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Logic programming
所蔵情報: loading…
2.

図書

図書
edited by David H.D. Warren and Peter Szeredi
出版情報: Cambridge, Mass. : MIT Press, c1990
シリーズ名: Logic programming
所蔵情報: loading…
3.

図書

図書
edited by Sten-Åke Tärnlund
出版情報: Uppsala : Ord & Form, 1984
所蔵情報: loading…
4.

図書

図書
edited by Giorgio Levi and Maurizio Martelli
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: Logic programming
所蔵情報: loading…
5.

図書

図書
edited by Jean-Louis Lassez
出版情報: Cambridge, Mass. : MIT Press, c1987
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…
6.

図書

図書
edited by Koichi Furukawa
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: Logic programming
所蔵情報: loading…
7.

図書

図書
A. Beaumont, G. Gupta (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 569
所蔵情報: loading…
8.

図書

図書
edited by Ehud Shapiro
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 225
所蔵情報: loading…
9.

図書

図書
edited by Robert A. Kowalski and Kenneth A. Bowen
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…
10.

図書

図書
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 927 . Lecture notes in artificial intelligence
所蔵情報: loading…