Efficiency Theorem Proving Strategies Comparative (15 results)
The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.
Language: English
Published by Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1999
- Softcover
Seller: Emile Kerssemakers ILAB, Heerlen, NetherlandsEmile Kerssemakers ILAB
Contact seller5-star sellerCondition: Used
£ 13.22
£ 21.78 shippingShips from Netherlands to U.S.A.Quantity: 1 available
21 cm. original paperback. 170 pp. bibliography. index. "Computational Intelligence". -(book shop mark bottom edge, otherwise (very) good). 280g.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 43.15
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 43.28
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 43.67
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 44.90
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.13
£ 1.93 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
David A. Plaisted, Wolfgang Bibel, Yunshan Zhu, Rudolf Kruse
Language: English
Published by Vieweg+Teubner Verlag 1999-10-28, 1999
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.52
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 62.63
£ 1.93 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.00
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.36
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
- Softcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Fine
£ 31.73
£ 42.69 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert Broschiert. Condition: Sehr gut. VI, 167 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 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: 236.
Language: English
Published by Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1999
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.14
£ 52.39 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first edition. We analyze the search efficiency of a numb…er of common refutational theorem proving strategies on propositional and near-propositional prob lems. Search efficiency is concerned with the total number of proofs and partial proofs generated, rather than with the sizes of the proofs. We show that most common strategies produce search spaces of expo nential size even on simple sets of clauses, or else are not sensitive to the goal. However, clause linking, which uses a reduction to proposi tional calculus, has behavior that is more favorable in some respects, a property that it shares with methods that cache subgoals. A strat egy which is of interest for term-rewriting based theorem proving is the A-ordering strategy, and we discuss it in some detail. We show some advantages of A-ordering over other strategies, which may help to explain its efficiency in practice. We also point out some of its com binatorial inefficiencies, especially in relation to goal-sensitivity and irrelevant clauses. In addition, SLD-resolution, which is of importance for Prolog implementation, has combinatorial inefficiencies; this may suggest basing Prolog implementations on a different theorem proving strategy. We also develop techniques for studying the asymptotic complexity of first-order theorem provers. This permits an analytic comparison of the worst-case performances of various theorem proving methods.
More imagesLanguage: English
Published by Vieweg+Teubner Verlag, 1999
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.88
£ 59.89 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis | David A. Plaisted (u. a.) | Taschenbuch | Computational Intelligence | Einband - flex.(Paperback) | Englisch | 1999 | Vieweg+Teubner Verlag | EAN 9783528155742 | Verantwortliche Person für die EU: Vieweg+Teubner Ve…rlag, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, productsafety[at]springernature[dot]com | Anbieter: preigu.
Language: German
Published by Vieweg+Teubner Verlag
- Softcover
Seller: Buchmarie, Darmstadt, GermanyBuchmarie
Contact seller4-star sellerCondition: Used - Good
£ 28.09
£ 89.84 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Good.
