close
1.

図書
図書
1. Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings
John Gallagher (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1207
所蔵情報: 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 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…
4.

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