Automated Reasoning: Introduction and Applications

By Larry Wos

No Synopsis Available.

• Format: Hardcover
• Language: English
• ISBN: 007911251X
• ISBN13: 9780079112514
• Release Date: January 1992
• Publisher: McGraw-Hill Companies
• Length: 656 Pages
• Weight: 2.65 lbs.
• Dimensions: 1.6" x 7.6" x 9.6"