Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Product Categories
My Shopping Cart
You shopping cart is empty
You may browse our offerings to locate what you're searching for, then put it in your shopping cart.
Symbolic Logic and Mechanical Theorem Proving
Usually dispatched within 3 - 5 business days.
£ 71.54
Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.