close
1.

図書
図書
1. Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1471 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart)
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1216 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Reasoning with logic programming
José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings
José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1126 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

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

図書
図書
6. Logic programming and non-monotonic reasoning : proceedings of the second international workshop
edited by Luís Moniz Pereira and Anil Nerode
出版情報: Cambridge, Mass. : MIT Press, c1993
所蔵情報: loading…
7.

図書
図書
7. EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings (: gw ; : us)
P. Barahona, L. Moniz Pereira, A. Porto, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 541 . Lecture notes in artificial intelligence
所蔵情報: loading…