Montant total (1 article articles) :
Destination de la commande :
automation language translation theorem proving de braffort scheepen (6 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (6)
- 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)
Etat
- Tous
- Neuf (Aucun autre résultat ne correspond à ces critères)
- Ancien ou d'occasion (6)
Particularités
- Ed. originale (3)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (3)
- Avec images (2)
- Sans impressions à la demande (6)
Langue (1)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic. Brussels, June 1968.
Edité par Commission Of The European Communities. Directorate-General For Dissemination Of Information, Brussel, 1968
Vendeur : Literary Cat Books, Machynlleth, Powys, WALES, Royaume-Uni
Membre d'association : IOBA
Évaluation du vendeur 4 sur 5 étoiles
Edition originale
EUR 12,63
Autre deviseEUR 16,35 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover (rebound in cloth). Etat : Good. Etat de la jaquette : No Dust Jacket. First Edition; First Edition. 295 pages. With library stamps & labels. New endpapers. Slight wear to spine, covers & corners. ; Ex-Library; Quarto.
-
Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic
Edité par Euratom, 1968
Vendeur : Logic and Art, Novara, NO, Italie
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 20
Autre deviseEUR 12 expédition depuis Italie vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierBrossura. Etat : ottimo. Etat de la jaquette : discreto. prima edizione. Fine, clean, tight copy. Cover in good condition with imperfections on spine and angles. Outer sleeve in fair condition. Ex libris on first endpaper.
-
Automation in language translation and theorem proving. Some applications of mathematical logic
Edité par Commission EC, 1968
Vendeur : Antiquariaat van Starkenburg, Apeldoorn, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
EUR 20
Autre deviseEUR 12,50 expédition depuis Pays-Bas vers FranceQuantité disponible : 1 disponible(s)
Ajouter au paniercloth, 295 pp, dustwrappers.
-
Automation in language translation and theorem proving. Some applications of mathematical logic
Edité par Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e), 1968
Vendeur : Antiquariat Smock, Freiburg, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 24
Autre deviseEUR 10,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Akzeptabel. Formateinband: Leinen mit Umschlag / gebundene Ausgabe XV, 295 S. (25 cm) 1st Edition; Schutzumschlag etwas gealtert und berieben und mit hinterklebtem Einriss; Namenseintrag auf Vorsatzblatt; sonst in gutem Zustand. Sprache: Englisch Gewicht in Gramm: 900 [Stichwörter: Mathematische Logik, Investigations and lenghts of proofs, Mechanical procedures for the propositional and predicate calculus and graph theory, Studies in the theory of definitions, Generative, analytic and context-free grammars, On free choice sequences and the free system CSI-valuations].
-
Automation in Language Translation and Theorem Proving: Some Applications of Mathematical Logic
Edité par Commission of the European Communities, 1968
Vendeur : BookDepart, Shepherdstown, WV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,45
Autre deviseEUR 37,79 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : UsedGood. Hardcover; surplus library copy with the usual stampings; reference number taped to front cover; fading and shelf wear to exterior; otherwise contents in good condition with clean text, firm binding.
-
AUTOMATION IN LANGUAGE TRANSLATION AND THEOREM PROVING SOME APPLICATIONS OF MATHEMATICAL LOGIC
Date d'édition : 1968
Vendeur : Xerxes Fine and Rare Books and Documents, Glen Head, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,43
Autre deviseEUR 38,18 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : VG. Luxembourg 1968. Lg.8vo., 295pp., printed cloth. VG in Fair DJ, chipped and worn.
