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.
Vendeur : Ammareal, Morangis, France
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
Quantité disponible : 1 disponible(s)
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Broschiert. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. VI, 167 Seiten, Englisch 236g. N° de réf. du vendeur 492374
Quantité disponible : 1 disponible(s)