The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - Couverture souple
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour The Efficiency of Theorem Proving Strategies: A Comparative...
Image d'archives
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Edité par
Friedr Vieweg & Sohn Verlagsgesellschaft, 1997
ISBN 10 : 352805574X
ISBN 13 : 9783528055745
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. 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. N° de réf. du vendeur E-867-888
Acheter D'occasion
EUR 6,99
Frais de port :
EUR 22,50
De France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
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
Ancien ou d'occasion
Broschiert
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. VI, 167 Seiten, Englisch 236g. N° de réf. du vendeur 492374
Acheter D'occasion
EUR 36
Frais de port :
EUR 35,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)