Automated Theorem Proving

Automated Theorem Proving: After 25 Years

,
Paperback Published on: 30/12/1984
£111
No reviews yet, be the first
Free UK delivery on orders over £25
In stock
Usually dispatched within 1-2 days
Make and edit your lists in your account
No stock available in any shop.
In stock
Usually dispatched within 1-2 days
No stock available in any shop.

Publisher information

  • Publisher: American Mathematical Society
  • ISBN: 9780821850275
  • Weight: 510g
  • Languages: English

Customer Reviews