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
Usually dispatched within 3 - 5 business days.
£ 195.75
This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.