yr 〜
yr

Search results 36

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. (Andreĭ)

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
  • Author HeadingLPAR (Conference) (18th : 2012 : Mérida, Venezuela) Bjørner, Nikolaj. Voronkov, A. (Andreĭ), 1959-

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, aritficial intelligence, and reasoning : 15th International Conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 : proceedings

Logic for programming, aritficial intelligence, and reasoning : 15th International Conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 : proceedings
Paper図書
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading... Veith, Helmut Voronkov, A. (Andreĭ)

Logic for programming, aritficial intelligence, and reasoning : 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 : proceedings

Logic for programming, aritficial intelligence, and reasoning : 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 : proceedings
Paper図書
Nachum Dershowitz, Andrei Voronkov (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading...howitz, Nachum Voronkov, A. (Andreĭ)

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

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
  • Author Heading...skaite, Irina. Voronkov, A. (Andreĭ), 1959-

Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007 Ekaterinburg, Russia, September 3-7, 2007 : proceedings

Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007 Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Paper図書
Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading...ov, Mikhail V. Voronkov, A. (Andreĭ)

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. (Andreĭ)

Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006 Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006 Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Paper図書
Miki Hermann, Andrei Voronkov (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading... Hermann, Miki Voronkov, A. (Andreĭ)

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. (Andreĭ)

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) (16...

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

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

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

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. (Andreĭ)

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

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. (Andreĭ)

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

Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Paper図書
Andrei Voronkov (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Voronkov, A. (Andreĭ)