1.

図書
図書
1. Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Franz Baader, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3452 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Michel Parigot, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1955 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Moshe Y. Vardi, Andrei Voronkov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2850 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Andrei Voronkov (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2392 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
Robert Nieuwenhuis, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2250 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Matthias Baaz, Andrei Voronkov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2514 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Logic for programming, aritficial intelligence, and reasoning : 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 : proceedings
Nachum Dershowitz, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4790 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. Handbook of automated reasoning (Elsevier: set - MIT: v. 2)
editors, Alan Robinson and Andrei Voronkov
出版情報: Amsterdam ; New York : Elsevier , Cambridge, Mass. : MIT Press, c2001
所蔵情報: loading…