The Computational Logic Handbook

Moore J. Strother Boyer Robert S.

ISBN 10: 0121229521 ISBN 13: 9780121229528

Published by Elsevier, 1988

Language: English

Condition: Used Hardcover

Sold by Biblios, Frankfurt am main, HESSE, Germany

AbeBooks Seller since September 10, 2024

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used

Price: US$ 82.08 Convert Currency

US$ 11.67 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

About this Item

pp. xvi + 408.

Seller Inventory # 1845381530

Report this item

Bibliographic Details

Title: The Computational Logic Handbook
Publisher: Elsevier
Publication Date: 1988
Language: English
ISBN 10: 0121229521
ISBN 13: 9780121229528
Binding: Hardcover
Condition: Used

About this title

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.

Store Description

We carry a wide selection of books from South Asia, United States, UK.

Visit Seller's Storefront

Seller's business information

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Sale & Shipping Terms

Terms of Sale

Shipping Terms

To ensure faster delivery, books may be shipped from any of the following locations Germany, the United Kingdom (UK), the United States (US), based on the buyer's address and product availability.

Payment Methods

Add to Wants