Importo totale (1 articolo articoli):
Destinazione ordine:
automation language translation theorem proving di braffort scheepen (6 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (6)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
- Tutte
- Nuovi (Nessun altro risultato corrispondente a questo perfezionamento)
- Antichi o usati (6)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (3)
- Con foto (2)
- Non Print on Demand (6)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic
Editore: Euratom, 1968
Prima edizione
EUR 20,00
Convertire valutaGratis per la spedizione in ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBrossura. Condizione: ottimo. Condizione sovraccoperta: 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. Brussels, June 1968.
Editore: Commission Of The European Communities. Directorate-General For Dissemination Of Information, Brussel, 1968
Da: Literary Cat Books, Machynlleth, Powys, WALES, Regno Unito
Membro dell'associazione: IOBA
Valutazione del venditore 4 su 5 stelle
Prima edizione
EUR 12,71
Convertire valutaEUR 15,27 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover (rebound in cloth). Condizione: Good. Condizione sovraccoperta: 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
Editore: Commission EC, 1968
Da: Antiquariaat van Starkenburg, Apeldoorn, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 20,00
Convertire valutaEUR 12,50 per la spedizione da Paesi Bassi a ItaliaQuantità: 1 disponibili
Aggiungi al carrellocloth, 295 pp, dustwrappers.
-
Automation in language translation and theorem proving. Some applications of mathematical logic
Editore: Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e), 1968
Da: Antiquariat Smock, Freiburg, Germania
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 24,00
Convertire valutaEUR 10,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Commission of the European Communities, 1968
Da: BookDepart, Shepherdstown, WV, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,38
Convertire valutaEUR 37,75 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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
Data di pubblicazione: 1968
Da: Xerxes Fine and Rare Books and Documents, Glen Head, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 80,35
Convertire valutaEUR 38,14 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: VG. Luxembourg 1968. Lg.8vo., 295pp., printed cloth. VG in Fair DJ, chipped and worn.
