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

Survey of Historic Costume: A History of Western Dress
  • Year: 2009
  • Edition: 5th
  • Publisher: Fairchild Books
  • Type: Hardcover
  • ISBN13: 9781563678066
  • ISBN: 1563678063
Merchandising: Theory, Principles, and Practice 3rd Edition
  • Year: 2009
  • Edition: Third Edition
  • Publisher: Fairchild Books
  • Type: Paperback
  • ISBN13: 9781563678264
  • ISBN: 1563678268
Daily Life in the Inca Empire (The Daily Life Through...
  • Year: 2008
  • Edition:
  • Publisher: Hackett Publishing Co.
  • Type: Paperback
  • ISBN13: 9780872209329
  • ISBN: 0872209326