close
1.

図書
図書
1. Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Philippe Codognet (ed.)
出版情報: New York : Springer, c2001 , Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science / 石谷茂著 ; 2237
所蔵情報: loading…
2.

図書
図書
2. Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers (: gw ; : us)
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…
3.

図書
図書
3. Logic programming : proceedings of the 1994 international symposium
edited by Maurice Bruynooghe
出版情報: Cambridge, [Mass.] ; London : MIT, c1994
所蔵情報: loading…
4.

図書
図書
4. Logic programming : Proceedings of the Tenth International Conference on Logic Programming
edited by David S. Warren
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Logic programming
所蔵情報: loading…
5.

図書
図書
5. Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming
edited by Krzysztof Apt
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Logic programming
所蔵情報: loading…
6.

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

図書
図書
7. Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings (: gw ; : us)
A. Beaumont, G. Gupta (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 569
所蔵情報: loading…
8.

図書
図書
8. Logic programming : proceedings of the seventh international conference
edited by David H.D. Warren and Peter Szeredi
出版情報: Cambridge, Mass. : MIT Press, c1990
シリーズ名: Logic programming
所蔵情報: loading…
9.

図書
図書
9. Logic programming : proceedings of the sixth international conference (: pbk)
edited by Giorgio Levi and Maurizio Martelli
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: Logic programming
所蔵情報: loading…
10.

図書
図書
10. 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…