
9780387543338
Instantiation Theory: On the Foundations of Automated Deduction
James G. Williams
ISBN 13: 9780387543338
Publisher: Springer Verlag
Publication Date: 1991
Binding: Softcover
Your Satisfaction is Guaranteed:
Instantiation Theory: On the Foundations of Automated Deduction: Search Results
| 1. |
Instantiation Theory: On the Foundations of Automated Deduction (ISBN: 0387543333 / 0-387-54333-3) Williams, James G. Quantity Available: 2
Book Description: Springer Verlag, 1991. Paperback. Book Condition: Brand New. no earlier edition stated edition. 133 pages. 9.30x6.40x0.20 inches. In Stock. Bookseller Inventory # 0387543333 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
Portions of this page may be (c) 2006 Muze Inc. Some database content may also be provided by Baker & Taylor Inc. Copyright 1995-2006 Muze Inc. For personal non-commercial use only. All rights reserved. Content for books is owned by Baker & Taylor, Inc. or its licensors and is subject to copyright and all other protections provided by applicable law.
Portions of this page may be Copyright VNU Entertainment Media (UK) Ltd., 2006, Georg Lingenbrink GmbH & Co., Tite Live, S.A or Informazioni Editoriali S.p.A. All rights reserved.











