close
1.

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

図書
図書
2. Logic programming : proceedings of the 1993 International Symposium
edited by Dale Miller
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Logic programming
所蔵情報: loading…
3.

図書
図書
3. Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992
sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
出版情報: London ; New York : Springer-Verlag, c1993
シリーズ名: Workshops in computing
所蔵情報: loading…
4.

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

図書
図書
5. Logic programming and non-monotonic reasoning : proceedings of the first international workshop
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
出版情報: Cambridge, Mass. : MIT Press, c1991
所蔵情報: loading…
6.

図書
図書
6. Logic programming : proceedings of the 1991 international symposium
edited by Vijay Saraswat and Kazunori Ueda
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: Logic programming
所蔵情報: loading…
7.

図書
図書
7. Logic programming : proceedings of the 1990 North American conference (: pbk.)
edited by Saumya Debray and Manuel Hermenegildo
出版情報: Cambridge, Mass : MIT Press, c1990
シリーズ名: Logic programming
所蔵情報: loading…