The Computational Logic Handbook
J. Strother Moore Robert S. Boyer
ISBN 10: 0121229521 ISBN 13: 9780121229528
Published by Elsevier, 1988
Used
Hardcover
From
Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since November 22, 2018
This specific item is no longer available.
About this Item
Description:
pp. xvi + 408 Index. Seller Inventory # 2645381520
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: The Computational Logic Handbook
Publisher: Elsevier
Publication Date: 1988
Binding: Hardcover
Condition: Used
Top Search Results from the AbeBooks Marketplace
Stock Image
A Computational Logic Handbook (Perspectives in Computing)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_378725293
Quantity: 1 available
Stock Image
A Computational Logic Handbook (Perspectives in Computing)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA75801212295215
Quantity: 1 available