9783528155742 - the efficiency of theorem proving strategies: a comparative and asymptotic analysis di plaisted, david a.; zhu, yunshan (21 risultati)
The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.
Lingua: Inglese
Editore: Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1999
- Brossura
Da: Emile Kerssemakers ILAB, Heerlen, Paesi BassiEmile Kerssemakers ILAB
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 15,00
EUR 25,45 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
21 cm. original paperback. 170 pp. bibliography. index. "Computational Intelligence". -(book shop mark bottom edge, otherwise (very) good). 280g.
Lingua: Inglese
Editore: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 39,83
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 184 2nd Edition.
Lingua: Inglese
Editore: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 36,51
EUR 7,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 184 24:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on Creme w/Gloss Lam.
Lingua: Inglese
Editore: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 37,96
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 184.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,49
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,49
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,65
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,11
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 52,54
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,00
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,15
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
David A. Plaisted, Wolfgang Bibel, Yunshan Zhu, Rudolf Kruse
Lingua: Inglese
Editore: Vieweg+Teubner Verlag 1999-10-28, 1999
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,21
EUR 18,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,29
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: SP SPRINGER, 1999
- Brossura
- Edizione Internazionale
Da: UK BOOKS STORE, London, LONDO, Regno UnitoUK BOOKS STORE
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 75,62
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if t…he Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,19
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,64
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1999
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 61,23 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 num…ber 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.
Altre immaginiLingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,80
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 V…erlag, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, productsafety[at]springernature[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Okt 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 eff…iciency of a number 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. 184 pp. Englisch.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. David A. Plaisted ist seit 1984 Professor am Fachbereich Informatik der University of North Carolina. Seine gegenwaertigen Forschungen umfassen automatisches Theorembeweisen, Termersetzungssysteme sowie funktionale u…nd Logikprogrammierung.Yunshan Zhu ist.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Okt 1999, 1999
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical understanding of the efficiencies of many different… theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 184 pp. Englisch.
