Share
Automated Theorem Proving: Theory and Practice
Monty Newborn
(Author)
·
Springer
· Paperback
Automated Theorem Proving: Theory and Practice - Newborn, Monty
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, July 26 and
Tuesday, August 13.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Automated Theorem Proving: Theory and Practice"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.