Handbook of Automated Reasoning
Robinson, J. A. (EDT); Robinson, Alan; Voronkov, Andrei (EDT)
ISBN 10: 0444829490 ISBN 13: 9780444829498
Published by North Holland, 2001
New
Hardcover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 April 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 684925-n
Synopsis:
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.
About the Author: J. Alan Robinson is University Professor Emeritus at Syracuse University. Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Handbook of Automated Reasoning
Publisher: North Holland
Publication Date: 2001
Binding: Hardcover
Condition: New