1.

図書

図書
Max Bramer
出版情報: [London ; New York] : Springer, c2005
所蔵情報: loading…
2.

図書

図書
W.F. Clocksin, C.S. Mellish
出版情報: Berlin ; New York : Springer-Verlag, c2003
所蔵情報: loading…
3.

図書

図書
Gerald Gazdar, Chris Mellish
出版情報: Wokingham, England ; Tokyo : Addison-Wesley Pub. Co., 1989
所蔵情報: loading…
4.

図書

図書
Michael A. Covington
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1994
所蔵情報: loading…
5.

図書

図書
by Evan Tick
出版情報: Boston : Kluwer Academic Publishers, c1988
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 40 . Frontiers in logic programming architecture and machine design
所蔵情報: loading…
6.

図書

図書
by Feliks Kluźniak and Stanisław Szpakowicz, with a contribution by Janusz S. Bień
出版情報: London; Orlando : Academic Press, c1985
シリーズ名: A.P.I.C. studies in data processing ; v. 24
所蔵情報: loading…
7.

図書

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