Importo totale (1 articolo articoli):
Destinazione ordine:
automation language translation theorem proving di braffort scheepen (5 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (5)
- 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 (5)
Legatura
- Tutte
- Rilegato (5)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (2)
- Con foto (1)
- Non Print on Demand (5)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
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,01
Convertire valutaEUR 37,53 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 79,88
Convertire valutaEUR 37,92 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.
