Ask a question or
Order this book

Browse our books
Search our books
Book dealer info

Title: Automated Reasoning: Introduction and Applications
Description: New York, Prentice-Hall, 1984. Ed.: Reprint, 23 Cm. Paperback. ISBN: 0130544469. A Very Good paperback with lightly rubbed covers. Clean, tight, unmarked.-. Very Good/Wraps.

Keywords: Computer Science 0130544469

Price: US$ 9.98 Seller: George Cross Books
- Book number: 27516

See more books from our catalog: Computer Science