Happy New Year! Get 10% off all books on our website throughout January! Discount will be applied automatically at checkout.

Books etc
Fiction
Storytelling is as old as time and, whether it’s an award-winning epic novel or a page-turning blockbuster, a great book can stay with you throughout your life
Contemporary & Classic Fiction Crime & Mystery Fantasy Graphic Novels & Comics Browse more Fiction categories
Non-fiction
Be it biography, history, nature writing or any other form of true story, non-fiction writing is often loaded with just as much suspense and character as the most exciting novel
Essays, Memoir & Biography Nature & Travel History & Archaeology Science & Technology Browse more Non-fiction categories
Children’s, Teenage & Educational
These stories for children and young adults will pique imaginations and inspire young readers
Children's Fiction Children's Non-Fiction Board Books, Picture Books & Activity Books Children's Poetry & Anthologies Browse more Children’s, Teenage & Educational categories
Magazines
Stationery
Toys & Games
Merchandise
Gift cards
Special Editions
Merchandise
Events
All events
Discover our full programme of events, for unique in-person and online activities
Author Events
Meet your favourite authors and attend insightful, engaging discussions about their books
Book Clubs
Exciting clubs covering all the main reading genres for you to get stuck into
Workshops
Other Events
Gift cards

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: American Mathematical Society
SKU: 9780821850275
Price: 111 GBP
Availability: OutOfStock
ISBN: 9780821850275

After 25 Years

W W Bledsoe editor Donald W Loveland editor

Format:Paperback

Publisher:American Mathematical Society

Published:30th Dec '84

Should be back in stock very soon

This non-fiction paperback, "Automated Theorem Proving" from W W Bledsoe & Donald W Loveland, was published 30th December 1984 by American Mathematical Society.

ISBN: 9780821850275

Dimensions: unknown

Weight: 510g