Handbook of Automated Reasoning
Robinson A. Voronkov A. Robinson Alan
ISBN 10: 0444508120 ISBN 13: 9780444508126
Published by Elsevier, 2001
New
Hardcover
From
Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
AbeBooks Seller since 10 September 2024
This specific item is no longer available.
About this Item
Description:
pp. 1188. Seller Inventory # 18534744
Synopsis:
Handbook of Automated Reasoning - Vol 2
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Handbook of Automated Reasoning
Publisher: Elsevier
Publication Date: 2001
Binding: Hardcover
Condition: New