9783540543336
Instantiation Theory: On the Foundations of Automated Deduction
James G. Williams
ISBN 13: 9783540543336
Publisher: Springer-Verlag
Publication Date: 1991
Your Satisfaction is Guaranteed:
Instantiation Theory: On the Foundations of Automated Deduction: Search Results
| 1. |
Instantiation Theory: On the Foundations of Automated Deduction (ISBN: 3540543333 / 3-540-54333-3) Williams, James G. Quantity Available: 1
Book Description: Springer-Verlag, 1991. Soft cover. Book Condition: New. NEW; slightly shelfworn & aged. Bookseller Inventory # ABE-7290582298 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 2. |
Instantiation Theory On the Foundations of Automated Deduction (ISBN: 3540543333 / 3-540-54333-3) Williams, James G. Quantity Available: 3
Book Description: Springer. Book Condition: New. pp. 133. Bookseller Inventory # 7156600 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 6.42
From United Kingdom to U.S.A. |
||
| 3. |
Instantiation Theory (ISBN: 9783540543336) Williams, James G. Quantity Available: 20
Book Description: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin, 1991. Book Condition: New. Bookseller Inventory # 3671044 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From Italy to U.S.A. |
||
| 4. |
Instantiation Theory On the Foundations of Automated Deduction: (ISBN: 3540543333 / 3-540-54333-3) Williams, James G. Quantity Available: 1
Book Description: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG Country = GERMANY, 2012. Paperback. Book Condition: New. 141 pages. This item is printed on demand. Please allow up to 10 days extra for printing & delivery. {Publisher's Publication Date = 1991} This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given. black and white illustrations (Paperback). Bookseller Inventory # AB3540543333 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 5. |
Instantiation Theory (ISBN: 9783540543336) Williams, James G. Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH, 1991. Paperback. Book Condition: New. New print on demand book. Shipped from US. Bookseller Inventory # IH-9783540543336 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 6. |
Instantiation Theory (ISBN: 9783540543336) Williams, James G. Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH 01/05/2012, 2012. Paperback. Book Condition: New. Brand new print-on-demand book. Shipped from UK. This item is printed on demand. Bookseller Inventory # LQ-9783540543336 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 7. |
Instantiation Theory (ISBN: 9783540543336) Williams, James G. Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH 01/05/2012, 2012. Paperback. Book Condition: New. New print on demand book. Shipped from US. This item is printed on demand. Bookseller Inventory # IP-9783540543336 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 14.10
From United Kingdom to U.S.A. |
||
| 8. |
Instantiation Theory (ISBN: 3540543333 / 3-540-54333-3) Williams, James G. Quantity Available: 1
Book Description: Springer, 2012. Paperback. Book Condition: New. 9.21 by 6 inches. (00141 pages) This item is printed on demand. Please allow up to 10 days extra for printing & delivery. {Publisher's Publication Date = 1991-09-01 00:00:00} [ships from USA takes 8-14 days to Europe] Lang=English accessory:NO ACCESSORY (Paperback ). Bookseller Inventory # AF3540543333 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 9. |
Instantiation Theory (ISBN: 3540543333 / 3-540-54333-3) Williams, James G. Quantity Available: 1
Book Description: Paperback. Book Condition: New. 234mm x 8mm x 156mm. Print on Demand 133 pages. 0.218. Bookseller Inventory # 9783540543336 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 20.37
From United Kingdom to U.S.A. |
||
| 10. |
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science) (ISBN: 3540543333 / 3-540-54333-3) Williams, James G. Quantity Available: > 20
Book Description: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991. Paperback. Book Condition: Brand New. 141 pages. In Stock. Bookseller Inventory # __3540543333 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 9.40
From United Kingdom to U.S.A. |
||
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.
