The Efficiency of Theorem Proving Strategies | David A Plaisted, Yunshan Zhu | Sciences informatiques | 9783528155742 | Librairie Club

Retrait en 2 heures
Assortiment impressionnant
Paiement sécurisé
Toujours un magasin près de chez vous

Retrait gratuit dans votre magasin Club
7.000.0000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

82,45 €

+ 164 points

Livraison 1 à 2 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

Description

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.

Spécifications

Parties prenantes

Auteur(s) :

Editeur:

Contenu

Nombre de pages :: 172

Langue:: Anglais

Collection :

Caractéristiques

EAN:: 9783528155742

Date de parution :: 28-10-99

Format:: Livre broché

Format numérique:: Trade paperback (VS)

Dimensions :: 148 mm x 210 mm

Poids :: 244 g

Seulement chez Librairie Club

+ 164 points sur votre carte client de Librairie Club

CADEAU

à l'achat d'un Bongo à partir de 39 €

CADEAU

CADEAU

à l'achat d'un livre de la sélection

CADEAU

CONCOURS

à l'achat du nouveau Dan Brown

CONCOURS

Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.