Items related to Automated Deduction - Cade-13: 13th International Conference...
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, 1104) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
"synopsis" may belong to another edition of this title.
Search results for Automated Deduction - Cade-13: 13th International Conference...
Stock Image
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings . / Lecture Notes in Artificial Intelligence)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a-1829
Stock Image
Automated Deduction - CADE-13 Vol. 110 : 13th International Conference on Automated Deduction, New Brunswick, NJ, July 30 - August 3, 1996: Proceedings
Published by
Springer Berlin / Heidelberg, 1996
ISBN 10: 3540615113
ISBN 13: 9783540615118
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 2809734-6
Stock Image
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, 1104)
Seller: BOOKWEST, Phoenix, AZ, U.S.A.
Seller rating 3 out of 5 stars
Soft cover. Condition: New. FAST SHIPS FROM USA. Seller Inventory # 100D2-107C4-PB-3540615113-2P4
Seller Image
Automated Deduction - CADE-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Artificial Intelligence, Band 1104)
Published by
Berlin, Heidelberg: Springer-Verlag, 1996
ISBN 10: 3540615113
ISBN 13: 9783540615118
Used
Broschiert Broschiert
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
Broschiert Broschiert. Condition: Gut. XV, 788 S. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Buchschnitt leicht verschmutzt, Einband leicht berieben. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 996. Seller Inventory # 492477
Buy Used
US$ 76.07
US$ 55.92 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12913322-n
Seller Image
Automated Deduction CADE-13
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 3540615113
ISBN 13: 9783540615118
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC 96.The volume presents 46 revised regular papers selected from a to. Seller Inventory # 4895637
Buy New
US$ 137.74
US$ 54.90 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 764 pages. 9.30x6.10x1.60 inches. In Stock. Seller Inventory # x-3540615113
Buy New
US$ 186.08
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Published by
Springer, Berlin, Springer, 1996
ISBN 10: 3540615113
ISBN 13: 9783540615118
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area. Seller Inventory # 9783540615118
Buy New
US$ 185.09
US$ 47.73 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Automated Deduction - CADE-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Artificial Intelligence, Band 1104) McRobbie M. A. and Slaney J. K.
Published by
Berlin, Heidelberg: Springer-Verlag, 1996
ISBN 10: 3540615113
ISBN 13: 9783540615118
Used
Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
Condition: gut. 1996. Automated Deduction - CADE-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Artificial Intelligence, Band 1104) In deutscher Sprache. pages. Seller Inventory # BN485044
Buy Used
US$ 218.16
US$ 44.77 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 12913322