Items related to Automated Deduction ― CADE-12: 12th International...
Automated Deduction ― CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814) - Softcover
Synopsis
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.
The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Automated Deduction ― CADE-12: 12th International...
Seller Image
Automated Deduction ? Cade-12 : 12th International Conference on Automated Deduction Nancy, France, June 26?july 1, 1994 Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23315816-n
Seller Image
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Paperback or Softback)
Published by
Springer 6/8/1994, 1994
ISBN 10: 3540581561
ISBN 13: 9783540581567
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings. Book. Seller Inventory # BBS-9783540581567
Stock Image
Automated Deduction ?? CADE-12
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-215905
Stock Image
Automated Deduction ? CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540581567_new
Buy New
US$ 70.58
US$ 16.16 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-12 : 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540581567
Buy New
US$ 66.95
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Automated Deduction ¿ CADE-12
Published by
Springer Berlin Heidelberg Jun 1994, 1994
ISBN 10: 3540581561
ISBN 13: 9783540581567
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions. 872 pp. Englisch. Seller Inventory # 9783540581567
Buy New
US$ 63.66
US$ 26.58 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Automated Deduction ? Cade-12 : 12th International Conference on Automated Deduction Nancy, France, June 26?july 1, 1994 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23315816-n
Buy New
US$ 70.39
US$ 20.23 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-12: 12th International Conference on Automated Deduction Nancy, France, June 26?July 1, 1994 Proceedings: 814 (Lecture Notes in Artificial Intelligence)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1994th edition NO-PA03JAN2015-KAP. Seller Inventory # 26357666606
Stock Image
Automated Deduction ? CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26?July 1, 1994 Proceedings: 814 (Lecture Notes in Artificial Intelligence)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 354824433
Buy New
US$ 98.68
US$ 8.77 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Automated Deduction - CADE-12
Published by
Springer Berlin Heidelberg, 1994
ISBN 10: 3540581561
ISBN 13: 9783540581567
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.The 67 papers presented were selected from 177 submissions and document many of the most imp. Seller Inventory # 448941261
Buy New
US$ 57.57
US$ 56.61 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available