Jump to main content

yr 〜
yr

Search results 19

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

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

Perspectives of system informatics : 8th international Ershov informatics conference, PSI 2011 : Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers : Jun 2011, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 7162)

Perspectives of system informatics : 8th international Ershov informatics conference, PSI 2011 : Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers : Jun 2011, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 7162)
Paper図書
Springerc2012.<M17-13-1061>
National Diet Library

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
  • Author Heading...stian) , 1963- Voronkov, A. (Andreĭ) , 1959- LPAR 2010 (2010 : Yogyakarta,...

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
  • Author HeadingClarke, E. M., 1945- Voronkov, A. (Andreĭ) , 1959- LPAR (Conference) (16th : 201...

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)
Paper図書
Springerc2010.<M17-10-2796>
National Diet Library
  • Author Heading...skaite, Irina. Voronkov, A. (Andreĭ) , 1959- International Andrei Ershov M...

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, Ar...

Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. : Jul 2008, Hagenberg, Austria. (Lecture Notes in Computer Science ; 5117)

Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. : Jul 2008, Hagenberg, Austria. (Lecture Notes in Computer Science ; 5117)
Paper図書
Springerc2008.<M17-08-2231>
National Diet Library
  • Author Heading...c Computation. Voronkov, A. (Andreĭ) , 1959- International Conference on R...

Perspectives of systems informatics : 6th international Andrei Ershov memorial conference, PSI 2006 : Novosibirsk, Russia, June 27-30, 2006 : revised papers. : Jun 2006, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 4378)

Perspectives of systems informatics : 6th international Andrei Ershov memorial conference, PSI 2006 : Novosibirsk, Russia, June 27-30, 2006 : revised papers. : Jun 2006, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 4378)
Paper図書
Springerc2007.<M17-07-833>
National Diet Library
  • Author HeadingVirbitskaite, Irina. Voronkov, A. (Andreĭ) , 1959- International Andrei Ershov M...

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,...

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...

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, K...

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings. : Oct 2002, Tbilisi, GA. (Lecture Notes in Computer Science ; 2514. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings. : Oct 2002, Tbilisi, GA. (Lecture Notes in Computer Science ; 2514. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-233>
National Diet Library
  • Author HeadingBaas, Matthias. Voronkov, A. (Andreĭ) , 1959- LPAR 2002 (2002 : Tbilisi, Ge...

Automated deduction -- CADE-18 : 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2392. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-18 : 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2392. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2002.<M17-03-87>
National Diet Library
  • Author HeadingVoronkov, A. (Andrei) , 1959- International Conference on A...

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 ; proceedings. : Dec 2001, Havana, Cuba. (Lecture Notes in Computer Science ; 2250. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 ; proceedings. : Dec 2001, Havana, Cuba. (Lecture Notes in Computer Science ; 2250. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-2438>
National Diet Library
  • Author HeadingNieuwenhuis, Robert. Voronkov, A. (Andreĭ) , 1959- LPAR (8th : 2001 : Havana, Cu...

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov. (ed.). (Lecture notes in computer science ; 698. Lecture notes in artificial intelligence)

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov. (ed.). (Lecture notes in computer science ; 698. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M15-A8849>
National Diet Library

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, (ed.). (Lecture notes in computer science ; 624. Lecture notes in artificial intelligence)

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, (ed.). (Lecture notes in computer science ; 624. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8325>
National Diet Library

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.). (Lecture notes in computer science ; 592. Lecture notes in artificial intelligence)

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.). (Lecture notes in computer science ; 592. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8141>
National Diet Library

Reached to the end of result.

RSS