Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 1996

3540615873 / 9783540615873

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 1 février 2007

Livre broché

Etat: Occasion - Assez bon

EUR 5,11

EUR 6,27 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

N° de réf. du vendeur UTD1420734

Titre
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science)
Auteur
Wright, Joakim von [Editor]; Grundy, Jim [Editor]; Harrison, John [Editor];
Éditeur
Springer
Année de publication
1996
État de l'article
Very Good
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3540615873
ISBN à 13 chiffres
9783540615873
Poids de l'article
21 onces

GuthrieBooks

Spring Branch, TX, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 1 février 2007

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

Article4 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 6,27EUR 12,54
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

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Spécialité

Academic and Professional Books, Religion, Science, History, Fiction, Childrens, Mathematics