Automated Reasoning
Subtitle: Introduction and Applications/Book & Disk
Publisher: Mcgraw-Hill (Tx)
Published: March 1992
Language: eng
Number of pages: 656
ISBN-13: 9780079112514