(0)
 
Handbook of Automated Reasoning
by A. Robinson and A. Voronkov and Alan Robinson

 
Hardcover
  • $444.50
Sorry: This item is not currently available.

Free Shipping is not available for this item.

Not a member? Join Today!
 
 
 
 

More About Handbook of Automated Reasoning by A. Robinson; A. Voronkov; Alan Robinson
 
 
 
Details
  • ISBN-13: 9780444508133
  • ISBN-10: 0444508139
  • Publisher: North-Holland
  • Publish Date: July 2001
  • Page Count: 2128

Series: Handbook of Automated Reasoning

Related Categories

Books > Mathematics > Logic
Books > Computers & Internet > Information Theory

 
BAM Customer Reviews

DISCUSSION