Automated Reasoning: Introduction and Applications/Book & Disk
by
Larry Wos
Hardcover
details (
USA
).
ISBN: 978-0-07-911251-4
ISBN-10: 0-07-911251-X
McGraw-Hill
· 1992
