Automated Reasoning: Introduction and Applications

No ratings yet
1984 · English · Paperback · 2 editions
Add To Shelf

Rate this book


Export Book Journal

Book Details

Format Paperback
Pages 482 pages
Language English
Published Jan 1, 1984
Publisher Prentice-Hall
Editions 2 editions
ISBN-10 0130544469
ISBN-13 9780130544469
Add To Shelf

Rate this book


Export Book Journal