Wolfgang Bibel Deduction: Automated Logic

ISBN 13: 9780120958351

Deduction: Automated Logic

0 avg rating
( 0 ratings by Goodreads )
9780120958351: Deduction: Automated Logic
View all copies of this ISBN edition:

Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems.
This book can be used both by readers seeking a broad survey of the area, and by those requiring a reference for more detailed analysis on individual topics. It is an invaluable text for students of artificial intelligence, cognitive science, and theorum- proving at the advanced undergraduate and graduate level.

Intended for readers who wish to become familiar with the area as a whole, or with selected topics, in a relatively short time
Serves as a reference book for consultation on individual topics
Contains one of the most comprehensive collections of different deduction mechanisms which has ever appeared in a single book, all presented in a uniform framework
Contains extensive references and exercises
Thoroughly cross-referenced

"synopsis" may belong to another edition of this title.

Buy Used View Book
List Price: US$ 63.00
US$ 3.66

Convert currency

Shipping: FREE
Within U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace


Wolfgang Bibel
Published by Academic Press (1993)
ISBN 10: 012095835X ISBN 13: 9780120958351
Used First Edition Quantity Available: 1
Better World Books
(Mishawaka, IN, U.S.A.)

Book Description Academic Press, 1993. Condition: Very Good. 1st Edition. Great condition for a used book! Minimal wear. Seller Inventory # GRP73890243

More information about this seller | Contact this seller

Buy Used
US$ 3.66
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds