Montant total (1 article articles) :
Destination de la commande :
efficiency theorem proving strategies (26 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (26)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (21)
- Comme neuf, Très bon ou Bon (4)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (26)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (10)
- Sans impressions à la demande (23)
Langue (3)
Livraison gratuite
Pays
Evaluation du vendeur
-
The Efficiency of Theorem Proving Strategies
Edité par Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 16,11
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 184 2nd Edition.
-
The Efficiency of Theorem Proving Strategies
Edité par Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 13,76
EUR 7,36 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : 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.
-
The Efficiency of Theorem Proving Strategies
Edité par Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 14,97
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 184.
-
The Efficiency Of Theorem Proving Strategies 2Ed (Pb)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,32
Gratuit expédition vers Etats-UnisQuantité disponible : 8 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
EFFICIENCY OF THEOREM PROVING STRATEGIES: A COMPARATIVE AND ASYMPTOTIC ANALYSIS (COMPUTATIONAL INTELLIGENCE)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,32
Gratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : 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.
-
EFFICIENCY OF THEOREM PROVING STRATEGIES: A COMPARATIVE AND ASYMPTOTIC ANALYSIS (COMPUTATIONAL INTELLIGENCE)
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 33,65
Gratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Edition internationaleThe Efficiency Of Theorem Proving Strategies 2Ed (Pb)
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,05
EUR 4,52 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 17 disponible(s)
Ajouter au panierEtat : 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 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
The Efficiency Of Theorem Proving Strategies: A Comparative And Asymptotic Analysis (computational Intelligence)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,31
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
The Efficiency Of Theorem Proving Strategies: A Comparative And Asymptotic Analysis (computational Intelligence)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,31
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,76
EUR 2,28 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,56
EUR 3,44 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,86
EUR 7,75 expédition vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.
Edité par Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : Emile Kerssemakers ILAB, Heerlen, Pays-Bas
Membre d'association : ILAB NVVA
Évaluation du vendeur 5 sur 5 étoiles
EUR 15
EUR 44 expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier21 cm. original paperback. 170 pp. bibliography. index. "Computational Intelligence". -(book shop mark bottom edge, otherwise (very) good). 280g.
-
Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,21
EUR 2,28 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Edité par Friedr Vieweg & Sohn Verlagsgesellschaft, 1997
ISBN 10 : 352805574X ISBN 13 : 9783528055745
Langue: allemand
Bonne affaireEUR 6,99
EUR 22,50 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,30
EUR 13,57 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Edité par Vieweg+Teubner Verlag 1999-10-28, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 55,43
EUR 17,54 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,29
EUR 16,99 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,14
EUR 16,99 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
EUR 61,23 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 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.
-
EUR 49,15
EUR 70 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis | David A. Plaisted (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1999 | Vieweg & Teubner | EAN 9783528155742 | Verantwortliche Person für die EU: Vieweg+Teubner Verlag, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
The Efficiency of Theorem Proving Strategies 2Ed
Edité par Springer, 1999
Vendeur : Books in my Basket, New Delhi, Inde
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,01
EUR 16 expédition depuis Inde vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : New. ISBN:9783528155742.
-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
Edité par Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
ISBN 10 : 352805574X ISBN 13 : 9783528055745
Langue: allemand
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 36
EUR 35,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. VI, 167 Seiten, Englisch 236g.
-
The Efficiency of Theorem Proving Strategies
Edité par Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Okt 1999, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
EUR 23 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 efficiency 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.
-
EUR 47,23
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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 und Logikprogrammierung.Yunshan Zhu ist.
-
The Efficiency of Theorem Proving Strategies
Edité par Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Okt 1999, 1999
ISBN 10 : 3528155744 ISBN 13 : 9783528155742
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
EUR 60 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
