Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings: 1104 (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.
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.
"About this title" 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. 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 4 out of 5 stars
Soft cover. Condition: New. FAST SHIPS FROM USA. Seller Inventory # 100D2-107C4-PB-3540615113-2P4
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: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.3540615113.G
Stock Image
Automated Deduction ?? Cade-13
Print on DemandSeller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. Seller Inventory # POD-111025
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
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: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540615118_new
Buy New
£ 124.54
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom 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: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12913322-n
Buy New
£ 124.53
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 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
£ 104.90
£ 41.81 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available