Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science)

Andrei Voronkov

$60.42

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov

$64.79

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Andrei Voronkov

$109.99

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science)

Andrei Voronkov

$60.42

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science)

Andrei Voronkov

$60.69

Handbook of Automated Reasoning: Volume I

Andrei Voronkov

$311.92