Author
3 publications.
Showing 1-3
SORT BY:
>Title (A-Z)
Title (Z-A)
Publication Date (1936-2010)
Publication Date (2010-1936)
Availability
Andrei Voronkov
Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.
Handbook of Automated Reasoning
J. Alan Robinson
and
Andrei Voronkov
(Eds.)
Cloth / September 2001
A comprehensive resource on automated reasoning and its applications.
Price $165.00 |
ADD TO CART
Handbook of Automated Reasoning, Two-Volume Set
J. Alan Robinson
and
Andrei Voronkov
(Eds.)
Cloth / September 2001
A comprehensive resource on automated reasoning and its applications.
Price $270.00 |
ADD TO CART
Handbook of Automated Reasoning, Volume 1
J. Alan Robinson
and
Andrei Voronkov
(Eds.)
Cloth / September 2001
A comprehensive resource on automated reasoning and its applications.
Price $135.00 |
ADD TO CART
TECHNOLOGY PARTNER:
Azility, Inc.
TERMS OF USE
|
PRIVACY POLICY
| COPYRIGHT © 2009