Author: WOS, LARRY 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