Items related to A Computational Logic Handbook: Formerly Notes and...
A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics - Softcover
Synopsis
Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
- PublisherAcademic Press
- Publication date2014
- ISBN 10 1483236536
- ISBN 13 9781483236537
- BindingPaperback
- LanguageEnglish
- Number of pages426
- EditorRheinboldt Werner
Buy New
View this item
US$ 117.84
US$ 13.44 shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Search results for A Computational Logic Handbook: Formerly Notes and...
Stock Image
A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 426 pages. 9.25x6.00x0.96 inches. In Stock. Seller Inventory # zk1483236536
Quantity: 1 available