Can I read Deduction : Automated Logic on EtoBox?

Deduction : Automated Logic by Bibel, Wolfgang is a nonfiction available to read on EtoBox.

What is Deduction : Automated Logic about?

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

Who reads Deduction : Automated Logic?

Author

Bibel, Wolfgang

Publisher

Academic Press, Incorporated

Published

1993

Language

EN

ISBN

9780120958351

Category

nonfiction

Subjects

Computer Science, Mathematics, Philosophy