The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Langue : anglais

Edité par Vieweg+Teubner Verlag 1999-10-28, 1999

3528155744 / 9783528155742

Série : Livre 27 sur 27 - Computational Intelligence

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 2 août 2010

Afficher les articles de ce vendeur
Livre broché

Etat: Neuf

EUR 57,23

EUR 18,11 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

N° de réf. du vendeur 6666-IUK-9783528155742

Titre
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Auteur
David A. Plaisted, Wolfgang Bibel, Yunshan Zhu, Rudolf Kruse
Éditeur
Vieweg+Teubner Verlag 1999-10-28
Année de publication
1999
État de l'article
New
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3528155744
ISBN à 13 chiffres
9783528155742
Édition
2ème Édition
Série
Livre 27 sur 27: Computational Intelligence

Chiron Media

Wallingford, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 2 août 2010

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article14 à 21 jours ouvrés14 à 21 jours ouvrés
Premier articleEUR 18,11EUR 18,11
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Royaume-Uni RG30 1DZ