著者典拠情報

標目形：
Association for Logic Programming
属性：
Corporate
から見よ参照形：
ALP
注記：
Logic programming, c1988: v. 1, CIP frwd. (Association for Logic Programming)
Yrbk. of Assoc., '87-'88; Enc. of Assoc., '87-'88
著者典拠ID：
DA02672462


 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 program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 (: us ; : gw)
sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau, [editors]
出版情報: London : Springer-Verlag, c1992
シリーズ名: Workshops in computing
所蔵情報: 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 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…
7.

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

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

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