Montant total (1 article articles) :
Destination de la commande :
proof theory computer science (47 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (47)
- 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)
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 (10)
- Sans impressions à la demande (43)
Langue (2)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183, Band 2183)
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,28
Autre deviseEUR 13,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Gut. Seiten; 9783540427520.3 Gewicht in Gramm: 500.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 24,18
Trouvez également Couverture souple
-
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Edité par Cambridge University Press, 2004
ISBN 10 : 052160754X ISBN 13 : 9780521607544
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 51
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 55,68
Trouvez également Couverture souple
-
A Proof Theory for General Unification. Boston, 1991. gr.8°. 5 figs. VI, 175 p. Hardbound. Progress in Computer Science and Applied Logic, 11.- Incl. bibliography.- In very good condition.
Vendeur : Antiquariat Renner OHG, Albstadt, Allemagne
Membre d'association : BOEV
Évaluation du vendeur 5 sur 5 étoiles
EUR 12
Autre deviseEUR 8,50 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panier -
A Proof Theory for General Unification (Progress in Computer Science & Applied Logic Ser.)
Vendeur : Pride and Prejudice-Books, Ballston Lake, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 24,68
Autre deviseEUR 37,66 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Near Fine. Etat de la jaquette : No Dust Jacket. First Edition. Near Fine. No Dust Jacket.
-
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,33
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 66,01
Offres d'occasion à partir de EUR 129,47
Trouvez également Couverture souple
-
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,33
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 66,01
Trouvez également Couverture souple
-
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,33
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 66,01
Offres d'occasion à partir de EUR 78,59
Trouvez également Couverture souple
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Edité par Cambridge University Press, 2000
ISBN 10 : 0521779111 ISBN 13 : 9780521779111
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,86
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 68,54
Offres d'occasion à partir de EUR 115,76
Trouvez également Couverture souple
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Edité par Springer (India) Private Limited, 2016
ISBN 10 : 3319291963 ISBN 13 : 9783319291963
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 95,58
Autre deviseEUR 7,70 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 425.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 103,28
Offres d'occasion à partir de EUR 176,54
Trouvez également Couverture rigide
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 117,82
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 122,50
Trouvez également Couverture souple
-
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,18
Autre deviseEUR 29,29 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10 : 3540518428 ISBN 13 : 9783540518426
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 122,47
Autre deviseEUR 11,72 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
