![Handbook of Automated Reasoning : Volume I, Hardback Book Handbook of Automated Reasoning : Volume I, Hardback Book](http://hive.dmmserver.com/media/640/97804448/9780444829498.jpg)
Handbook of Automated Reasoning : Volume I Hardback
Edited by Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA) Robinson, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M1 Voronkov
Part of the Handbook of Automated Reasoning series
Hardback
Description
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Information
-
Out of stock
- Format:Hardback
- Pages:996 pages
- Publisher:Elsevier Science & Technology
- Publication Date:21/06/2001
- Category:
- ISBN:9780444829498
Information
-
Out of stock
- Format:Hardback
- Pages:996 pages
- Publisher:Elsevier Science & Technology
- Publication Date:21/06/2001
- Category:
- ISBN:9780444829498