1.
 |  | Title: Handbook of Automated Reasoning
by J. Alan Robinson, Andrei Voronkov
ISBN: 0262182211
Publisher: MIT Press
Pub. Date: 01 September, 2001
List Price: $130.00
Amazon.com Price: $130.00 |
2.
|  | Title: Transactions and Change in Logic Databases (Lecture Notes in Computer Science, 1472)
by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov, Burkhard Narfreitag
ISBN: 3540653058
Publisher: Springer Verlag
Pub. Date: December, 1998
List Price: $82.95
Amazon.com Price: $82.95 |
3.
|  | Title: Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Note)
by Andrei Voronkov
ISBN: 0387569448
Publisher: Springer Verlag
Pub. Date: August, 1993
List Price: $74.95
Amazon.com Price: $74.95 |
4.
|  | Title: Logic for Programming and Automated Reasoning: 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings (Lecture Notes in Computer Science, 1955.)
by Michel Parigot, Andrei Voronkov
ISBN: 3540412859
Publisher: Telos Pr
Pub. Date: November, 2000
List Price: $79.95
Amazon.com Price: $79.95 |
5.
|  | Title: Automated Deduction-Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002: Proceedings (Lecture Notes in Computer Science, 2392.)
by Andrei Voronkov, Springer-Verlag
ISBN: 3540439315
Publisher: Springer Verlag
Pub. Date: September, 2002
List Price: $79.00
Amazon.com Price: $79.00 |
