| W. Bibel, Steffen Hölldobler - Philosophy - 1993 - 253 pages
Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive ... | |
| W. Bibel - Computers - 2000 - 386 pages
"Audience: Researchers working in the areas of Intellectics and Computational Logic, who are convinced that an intelligent behavior of machines should be based on a rigid ... | |
| Melvin Fitting - Computers - 1996 - 326 pages
This graduate-level text presents fundamental concepts and results of classical logic in a mathematical style. Applications to automated theorem proving are considered and ... | |
| |