close
1.

図書
図書
1. Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
Rui Camacho, Ross King, Ashwin Srinivasan (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3194 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
Bart Demoen, Vladimir Lifschitz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3132
所蔵情報: loading…
3.

図書
図書
3. Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
Tamás Horváth, Akihiro Yamamoto (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2835 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
Chitta Baral ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3662 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Recent advances in Constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers
Brahim Hnich ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3978 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Logic programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Sandro Etalle, Mirosław Truszczyński (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4079
所蔵情報: loading…
7.

図書
図書
7. Logic programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings
Verónica Dahl, Ilkka Niemelä (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4670
所蔵情報: loading…
8.

図書
図書
8. Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers (: pbk)
Fabrizio Riguzzi, Filip Železný (eds.)
出版情報: Berlin : Springer, c2013
シリーズ名: Lecture notes in computer science ; 7842. Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers (: pbk)
Edmund M. Clarke and Andrei Voronkov (Eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; . Lecture notes in artificial intelligence ; 6355
所蔵情報: loading…
10.

図書
図書
10. Inductive logic programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31-August 3, 2011 : revised selected papers (: pbk)
Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
出版情報: Heidelberg : Springer, c2012
シリーズ名: Lecture notes in computer science ; 7207. Lecture notes in artificial intelligence
所蔵情報: loading…