Automated Reasoning and the Discovery of Missing and Elegant Proofs

Langue : anglais

Edité par Rinton Pr Inc, 2003

1589490231 / 9781589490239

Vendeur : Peak Pearl LLC, Holly Springs, NC, Etats-UnisPeak Pearl LLC

Vendeur avec une évaluation de 2 étoiles

Vendeur AbeBooks depuis 4 décembre 2025

Etat: Occasion - Comme neuf

EUR 78,06

EUR 10,70 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Like new, never been used.

N° de réf. du vendeur S9781589490239

Détails bibliographiques

Titre
Automated Reasoning and the Discovery of Missing and Elegant Proofs
Auteur
Wos, Larry; Gail W. Pieper
Éditeur
Rinton Pr Inc
Année de publication
2003
État de l'article
Comme neuf
Langue
anglais
ISBN à 10 chiffres
1589490231
ISBN à 13 chiffres
9781589490239
Poids de l'article
839,146 grammes
Dimensions
17,78 centimètres de largeur par 25,4 centimètres de hauteur par 2,54 centimètres de profondeur

Peak Pearl LLC

Holly Springs, NC, Etats-Unis

Vendeur avec une évaluation de 2 étoiles

Vendeur AbeBooks depuis 4 décembre 2025

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 12 jours ouvrés4 à 10 jours ouvrés
Premier articleEUR 10,70EUR 29,43
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

Description de la boutique

We specialize in high-quality, pre-owned academic books that are free of internal markings.

Spécialité

Textbooks