Automated Reasoning
Subtitle: Introduction and Applications/Book & Disk
Edition: 2 Har/Dsk edition
Publisher: Mcgraw-Hill (Tx)
Published: March 1992
Language: eng
Format: Hardcover
Number of pages: 656
ISBN-13: 9780079112514
Subjects: Artificial Intelligence; Computer Software Packages; General Theory of Computing; PCs (IBM-compatible personal computers); Computers - Other Applications; Computer Books And Software; Miscellaneous Software; Automatic theorem proving; Computer Programming