close
1.

図書
図書
1. Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
2.

図書
図書
2. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Burkhard Freitag ... [et al.], ed.
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1472
所蔵情報: loading…
5.

図書
図書
5. Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
David Page (ed.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1446 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

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

図書
図書
7. Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
Norbert E. Fuchs (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1463
所蔵情報: loading…
8.

図書
図書
8. Logic programming : proceedings of the 1997 international symposium
edited by Jan Małuszyński
出版情報: Cambridge, Mass. ; London : MIT Press, c1997
シリーズ名: Logic programming ; (Research reports and notes)
所蔵情報: loading…
9.

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

図書
図書
10. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence
所蔵情報: loading…