Automated Theorem Proving
This new book carefully describes how automated reasoning is performed. It introduces all necessary analytical and mathematical tools to discuss basic inference rules of binary resolution and binary factoring. Two computer programs and source code are provided to use as examples. Advanced students, professionals and researchers in computer science, computer engineering, artificial intelligence and logic programming will find the book a useful text/reference.
| Autor: | Newborn, Monty |
|---|---|
| ISBN: | 9780387950754 |
| Sprache: | Englisch |
| Seitenzahl: | 231 |
| Produktart: | Gebunden |
| Verlag: | Springer US |
| Veröffentlicht: | 15.12.2000 |
| Untertitel: | Theory and Practice |
| Schlagworte: | Resolution automated theorem proving proof proving theorem proving |