The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

by Larry Wos
  • List Price: $117.00
  • ISBN-10: 0127634207
  • ISBN-13: 9780127634203
  • Edition: 1st
  • Type: Hardcover
  • Publisher: Academic Press

About The Book

This landmark title is the only one of its kind to offer research problems in the field along with guidance in using and implementing what has been... Read more

FINDING THE BEST PRICES

Related Books

Latin America in Colonial Times
  • Year: 2011
  • Edition: 1st
  • Publisher: Cambridge University Press
  • Type: Paperback
  • ISBN13: 9780521132602
  • ISBN: 0521132606
Daily Life of the Aztecs: People of the Sun and Earth...
  • Year: 2008
  • Edition:
  • Publisher: Hackett Pub Co
  • Type: Paperback
  • ISBN13: 9780872209336
  • ISBN: 0872209334
Portfolio Presentation for Fashion Designers
  • Year: 2010
  • Edition: 3rd
  • Publisher: Fairchild Books
  • Type: Paperback
  • ISBN13: 9781563678172
  • ISBN: 1563678179