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.
| Author: Monty Newborn |
| Publisher: Springer |
| Publication Date: May 24, 2013 |
| Number of Pages: 231 pages |
| Binding: Paperback or Softback |
| ISBN-10: 1461265193 |
| ISBN-13: 9781461265191 |
