Jump to main content

yr 〜
yr

Search results 28

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk
Paper図書
Edmund M. Clarke and Andrei Voronkov (Eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingLPAR Clarke, Edmund Voronkov, A. (...

Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Paper図書
Geoff Sutcliffe, Andrei Voronkov (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingLPAR Sutcliffe, Geoff Voronkov, A....

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Paper図書
Franz Baader, Andrei Voronkov (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingLPAR Baader, Franz Voronkov, A. (A...

Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Paper図書
Moshe Y. Vardi, Andrei Voronkov (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingLPAR Vardi, Moshe Voronkov, A. (An...

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Paper図書
Matthias Baaz, Andrei Voronkov (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingLPAR Baaz, Matthias Voronkov, A. (...

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-12-2910>
National Diet Library
  • Additional TitleLPAR-18 2012.
  • Author HeadingLPAR (Conference) (18th : 2012 : M...

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-14-1560>
National Diet Library
  • Additional TitleLPAR-19 2013.
  • Author HeadingLPAR (Conference) (19th : 2013 : S...

Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
Paper図書
Robert Nieuwenhuis, Andrei Voronkov (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingLPAR Nieuwenhuis, Robert Voronkov,...

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Paper図書
Michel Parigot, Andrei Voronkov (eds.)Springer-Verlagc2000
Other Libraries in Japan
  • Author HeadingLPAR Parigot, Michel Voronkov, A. ...

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-11-267>
National Diet Library
  • Alternative TitleLPAR-17 2010
  • Alternative TitleLPAR-17 2010
  • Author Heading...ndreĭ) , 1959- LPAR 2010 (2010 : Yogyakarta, Indo...

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Paper図書
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Author HeadingLPAR Ganzinger, Harald McAllester,...

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16 : Dakar, Senegal, April 25-May 1, 2010 : revised selected papers. : 16th LPAR event : LPAR 16 : Apr 2010, Dakar, Senegal. (Lecture Notes in Computer Science ; 6355. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16 : Dakar, Senegal, April 25-May 1, 2010 : revised selected papers. : 16th LPAR event : LPAR 16 : Apr 2010, Dakar, Senegal. (Lecture Notes in Computer Science ; 6355. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-2034>
National Diet Library
  • Alternative TitleLPAR-16 2010
  • Alternative TitleLPAR-16 2010
  • Author HeadingClarke, E. M., 1945- Voronkov, A. (Andreĭ) , 1959- LPAR (Conference) (16th : 2010 : D...

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-10-536>
National Diet Library
  • Author HeadingCervesato, Iliano. Veith, Helmut. Voronkov, A. (Andreĭ) , 1959- LPAR 2008 (2008 : Doha, Qatar)

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007 : Yerevan, Armenia, October 15-19, 2007 : proceedings. : Oct 2007, Yerevan, Armenia. (Lecture Notes in Computer Science ; 4790. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007 : Yerevan, Armenia, October 15-19, 2007 : proceedings. : Oct 2007, Yerevan, Armenia. (Lecture Notes in Computer Science ; 4790. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-08-930>
National Diet Library
  • Author HeadingDershowitz, Nachum. Voronkov, A. (Andreĭ) , 1959- LPAR 2007 (2007 : Yerevan, Armenia...

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006 : Phnom Penh, Cambodia, November 13-17, 2006 : proceedings. : LPAR-13 : Nov 2006, Phnom Penh, Cambodia. (Lecture Notes in Computer Science ; 4246. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006 : Phnom Penh, Cambodia, November 13-17, 2006 : proceedings. : LPAR-13 : Nov 2006, Phnom Penh, Cambodia. (Lecture Notes in Computer Science ; 4246. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-07-825>
National Diet Library
  • Author HeadingHermann, Miki, 1958- Voronkov, A. (Andreĭ) , 1959- LPAR 2006 (2006 : Phnom Penh, Camb...

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005 : Montego Bay, Jamaica, December 2-6, 2005 : proceedings. : Dec 2005, Montego Bay, Jamaica. (Lecture Notes in Computer Science ; 3835. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005 : Montego Bay, Jamaica, December 2-6, 2005 : proceedings. : Dec 2005, Montego Bay, Jamaica. (Lecture Notes in Computer Science ; 3835. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-1716>
National Diet Library
  • Author HeadingSutcliffe, Geoff. Voronkov, A. (Andreĭ) , 1959- LPAR 2005 (2005 : Montego Bay, Jam...

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings : gw : us

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings : gw : us
Paper図書
Frank Pfenning (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingLPAR Pfenning, Frank

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings : gw : us

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings : gw : us
Paper図書
Andrei Voronkov (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingLPAR Voronkov, A. (Andreĭ)

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003 : Almaty, Kazakhstan, September 22-26, 2003 : proceedings. : Sep 2003, Almaty, Kazakhstan. (Lecture Notes in Computer Science ; 2850. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003 : Almaty, Kazakhstan, September 22-26, 2003 : proceedings. : Sep 2003, Almaty, Kazakhstan. (Lecture Notes in Computer Science ; 2850. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-04-1021>
National Diet Library
  • Author HeadingVardi, Moshe Y. Voronkov, A. (Andreĭ) , 1959- LPAR (10th : 2003 : Almaty, Kazakh...

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings : gw : us

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings : gw : us
Paper図書
A. Voronkov, edSpringer-Verlagc1992
Other Libraries in Japan
  • Author HeadingLPAR Voronkov, A. (Andreĭ)
RSS