Jump to main content

yr 〜
yr

Search results 40

Technical Communications of the 33rd International Conference on Logic Programming : ICLP 2017, August 28-September 1, 2017, Melbourne, Australia : print

Technical Communications of the 33rd International Conference on Logic Programming : ICLP 2017, August 28-September 1, 2017, Melbourne, Australia : print
Paper図書
edited by Ricardo Rocha ... [et al.]Schloss Dagstuhl2018
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Rocha, Ricardo

Technical Communications of the 32nd International Conference on Logic Programming : ICLP 2016, October 16-21, 2016, New York City, USA : print

Technical Communications of the 32nd International Conference on Logic Programming : ICLP 2016, October 16-21, 2016, New York City, USA : print
Paper図書
edited by Manuel Carro ... [et al.]Schloss Dagstuhl2016
Other Libraries in Japan
  • Alternative Title32nd International Conference on Logic Programming : (ICLP 2016)
  • Alternative Title32nd International Conference on Logic Programming : (ICLP 2016)
  • Author HeadingInternational Conference on Logic Programming Carro, Manuel

Technical Communications of the 34th International Conference on Logic Programming : ICLP 2018, July 14-17, 2018, Oxford, United Kingdom : print

Technical Communications of the 34th International Conference on Logic Programming : ICLP 2018, July 14-17, 2018, Oxford, United Kingdom : print
Paper図書
edited by Alessandro Dal Palu' ... [et al.]Schloss Dagstuhl2018
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Dal Palù, Alessandro Tarau, P...

Technical Communications of the 28th International Conference on Logic Programming : ICLP 2012, September 4-8, 2012, Budapest, Hungary

Technical Communications of the 28th International Conference on Logic Programming : ICLP 2012, September 4-8, 2012, Budapest, Hungary
Paper図書
edited by Agostino Dovier, Vítor Santos CostaSchloss Dagstuhl2012
Other Libraries in Japan
  • Alternative Title28th International Conference on Logic Programming 2012 (ICLP' 2012)
  • Alternative Title28th International Conference on Logic Programming 2012 (ICLP' 2012)
  • Author HeadingInternational Conference on Logic Programming Dovier, Agostino Warren, Davi...

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)
Paper図書
Springerc2009.<M17-10-1487>
National Diet Library
  • Author Heading...rren, David S. International Conference on Logic Programming (25th : 2009 : Pasadena, CA)

Logic programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings

Logic programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings
Paper図書
Patricia M. Hill, David S. Warren (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Hill, Patricia M. Warren, Dav...

Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings

Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings
Paper図書
Maria Garcia de la Banda, Enrico Pontelli (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Garcia de la Banda, Maria Pon...

Logic programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings

Logic programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings
Paper図書
Verónica Dahl, Ilkka Niemelä (eds.)Springerc2007
Other Libraries in Japan
  • Note (General)" ... the 23rd International Conference on Logic Programming, ICLP 2007"--Pref Includes bi...
  • Author HeadingInternational Conference on Logic Programming Dahl, Veronica Niemelä, Ilkka

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)
Paper図書
Springerc2008.<M17-09-1306>
National Diet Library
  • Author Heading... Enrico, 1967- International Conference on Logic Programming (24th : 2008 : Udine, Italy)

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4079)

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4079)
Paper図書
Springerc2006.<M17-07-2102>
National Diet Library
  • Author Heading...ski, Mirosław. International Conference on Logic Programming (22nd : 2006 : Seattle, Wash....

Logic programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Logic programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Paper図書
Sandro Etalle, Mirosław Truszczyński (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Etalle, Sandro Truszczyński, ...

Logic programming : 20th international conference, ICLP 2004 : Saint-Malo, France, September 6-10, 2004 : proceedings. : Sep 2004, Saint-Malo, France. (Lecture Notes in Computer Science ; 3132)

Logic programming : 20th international conference, ICLP 2004 : Saint-Malo, France, September 6-10, 2004 : proceedings. : Sep 2004, Saint-Malo, France. (Lecture Notes in Computer Science ; 3132)
Paper図書
Springerc2004.<M17-05-587>
National Diet Library
  • Author Heading...itz, Vladimir. International Conference on Logic Programming (20th : 2004 : Saint-Malo, Fr...

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Paper図書
Maurizio Gabbrielli, Gopal Gupta (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Gabbrielli, Maurizio Gupta, G...

Logic programming : 21st international conference, ICLP 2005 : Sitges, Spain, October 2-5, 2005 : proceedings. : Oct 2005, Sitges, Spain. (Lecture Notes in Computer Science ; 3668)

Logic programming : 21st international conference, ICLP 2005 : Sitges, Spain, October 2-5, 2005 : proceedings. : Oct 2005, Sitges, Spain. (Lecture Notes in Computer Science ; 3668)
Paper図書
Springerc2005.<M17-06-175>
National Diet Library
  • Author Heading...Gopal) , 1963- International Conference on Logic Programming (21st : 2005 : Sitges, Spain)

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
Paper図書
Catuscia Palamidessi (ed.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Palamidessi, Catuscia

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
Paper図書
Bart Demoen, Vladimir Lifschitz (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Demoen, Bart Lifschitz, Vladi...

Logic programming : 17th international conference, ICLP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings. : Nov 2001, Paphos, Cyprus. (Lecture Notes in Computer Science ; 2237)

Logic programming : 17th international conference, ICLP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings. : Nov 2001, Paphos, Cyprus. (Lecture Notes in Computer Science ; 2237)
Paper図書
Springerc2001.<M17-03-2366>
National Diet Library
  • Author HeadingCodognet, Philippe. International Conference on Logic Programming (17th : 2001 : Paphos, Cyprus...

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)
Paper図書
Springerc2007.<M17-08-1232>
National Diet Library
  • Author Heading...ce Department. International Conference on Logic Programming (23rd : 2007 : Porto, Portuga...

Logic programming : 18th international conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. : federated logic conference (FloC) : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2401)

Logic programming : 18th international conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. : federated logic conference (FloC) : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2401)
Paper図書
Springerc2002.<M17-07-809>
National Diet Library
  • Author Heading...ckey, Peter J. International Conference on Logic Programming (18th : 2002 : Copenhagen, De...

Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings

Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
Paper図書
Peter J. Stuckey (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Stuckey, Peter J.
RSS