Montant total (1 article articles) :
Destination de la commande :
automated theorem proving after (11 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (11)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (11)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (2)
- Sans impressions à la demande (11)
Langue (1)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Edité par Amer Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : Basement Seller 101, Cincinnati, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,55
Autre deviseEUR 29,86 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good.
-
Automated Theorem Proving: After 25 Years (Contemporary Mathematics).
Edité par American Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 44,65
Autre deviseEUR 9,95 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g.
-
Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
Edité par Amer Mathematical Society, New York
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : Alien Bindings, BALTIMORE, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 20,17
Autre deviseEUR 38,39 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Very Good. No Jacket. First Edition. Vol. 29 of Contemporary Mathematics(Automated Theorem Proving: After 25 Years). Creased upper corner of the front cover, otherwise the covers look great. The binding is tight. The title page is stamped. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.
-
Automated Theorem Proving: after 25 Years
Edité par American Math Soc, Province RI, 1985
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : T. A. Borden Books, Olney, MD, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 35,15
Autre deviseEUR 36,69 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Second Printing. Near Fine+; Contemporary Math V29; 360 pages.
-
Automated Theorem Proving After 25 Years
Edité par Amer Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,96
Autre deviseEUR 11,71 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 360 pages. 10.25x7.00x1.00 inches. In Stock.
-
AUTOMATED THEOREM PROVING AFTER 25 YEAR
Edité par Amer Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
EUR 147,06
Autre deviseEUR 7,01 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : NEW.
-
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Edité par Amer Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 174,14
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. In.
-
Automated Theorem Proving : After 25 Years
Edité par Amer Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 161,49
Autre deviseEUR 17,56 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
-
Automated Theorem Proving : After 25 Years
Edité par Amer Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 179,97
Autre deviseEUR 17,56 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Automated Theorem Proving : After 25 Years
Edité par American Mathematical Society Dez 1984, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 183,81
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware.
-
Automated Theorem Proving: After 25 Years
Edité par American Mathematical Society, 1984
ISBN 10 : 082185027X ISBN 13 : 9780821850275
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 228,97
Autre deviseEUR 7,09 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback / softback. Etat : New. New copy - Usually dispatched within 3 working days. 510.
