9783540615118
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 Proceedings
N International Conference on Automated Deduction 1996 New Brunswick; M. A. McRobbie; J. K. Slaney
ISBN 13: 9783540615118
Publisher: Springer Verlag
Publication Date: 1996
Binding: Softcover
Your Satisfaction is Guaranteed:
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 Proceedings: Search Results
| 1. |
Automated Deduction Cade 13 (ISBN: 9783540615118) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 1
Book Description: Book Condition: Brand New. Book Condition: Brand New * All orders are processed and shipped from Las Vegas Nevada USA *. Bookseller Inventory # 97835406151181.0 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 3.99
From Canada to U.S.A. |
||
| 2. |
AUTOMATED DEDUCTION - CADE-13 (ISBN: 9783540615118) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 5
Book Description: Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # INV-2953 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From India to U.S.A. |
||
| 3. |
AUTOMATED DEDUCTION - CADE-13 (ISBN: 3540615113 / 3-540-61511-3) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 5
Book Description: Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHUB12598 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From India to U.S.A. |
||
| 4. |
Automated Deduction, Cade-13: Cade-13, International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 - Proceedings 13th (ISBN: 9783540615118) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 20
Book Description: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin, 1996. Book Condition: New. Bookseller Inventory # 5799057 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From Italy to U.S.A. |
||
| 5. |
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (ISBN: 9783540615118) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: > 20
Book Description: SPRINGER PG, 1996. Paperback. Book Condition: New. New print on demand book. Shipped from US. Bookseller Inventory # IH-9783540615118 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 6. |
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (ISBN: 9783540615118) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: > 20
Book Description: SPRINGER PG 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-9783540615118 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 14.10
From United Kingdom to U.S.A. |
||
| 7. |
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (ISBN: 9783540615118) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: > 20
Book Description: SPRINGER PG 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-9783540615118 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 8. |
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (ISBN: 3540615113 / 3-540-61511-3) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 1
Book Description: Springer, 2012. Paperback. Book Condition: New. 9.21 by 6 inches. (00779 pages) This item is printed on demand. Please allow up to 10 days extra for printing & delivery. {Publisher's Publication Date = 1996-08-01 00:00:00} [ships from USA takes 8-14 days to Europe] Lang=English accessory:NO ACCESSORY (Paperback ). Bookseller Inventory # AF3540615113 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 9. |
Automated Deduction, Cade-13 (ISBN: 3540615113 / 3-540-61511-3) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 1
Book Description: Paperback. Book Condition: New. 156mm x 234mm x 39mm. Print on Demand 788 pages. 1.084. Bookseller Inventory # 9783540615118 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 20.37
From United Kingdom to U.S.A. |
||
| 10. |
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings (Lecture Notes in Computer Science) (ISBN: 3540615113 / 3-540-61511-3) International Conference on Automated Deduction 1996 New Brunswick, N;McRobbie, M. A.;Slaney, J. K. Quantity Available: 2
Book Description: Springer 1996-08-01, 1996. Paperback. Book Condition: New. Book. Bookseller Inventory # 3540615113_1 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 18.16
From India 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.
