Gesamtpreis (1 Artikel Artikel):
Versandziel:
automation language translation theorem proving von braffort scheepen (5 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (5)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
- Alle
- Neu (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Antiquarisch (5)
Einband
- alle Einbände
- Hardcover (5)
- Softcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (1)
- Keine Print-on-Demand Angebote (5)
Sprache (1)
Gratisversand
- Kostenloser Versand nach Deutschland (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Automation in language translation and theorem proving. Some applications of mathematical logic
Verlag: Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e), 1968
Anbieter: Antiquariat Smock, Freiburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 24,00
Währung umrechnenEUR 3,50 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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. Brussels, June 1968.
Verlag: Commission Of The European Communities. Directorate-General For Dissemination Of Information, Brussel, 1968
Anbieter: Literary Cat Books, Machynlleth, Powys, WALES, Vereinigtes Königreich
Verbandsmitglied: IOBA
Verkäuferbewertung 4 von 5 Sternen
Erstausgabe
EUR 12,71
Währung umrechnenEUR 15,27 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover (rebound in cloth). Zustand: Good. Zustand des Schutzumschlags: 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
Verlag: Commission EC, 1968
Anbieter: Antiquariaat van Starkenburg, Apeldoorn, Niederlande
Verkäuferbewertung 5 von 5 Sternen
EUR 20,00
Währung umrechnenEUR 12,50 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbcloth, 295 pp, dustwrappers.
-
Automation in Language Translation and Theorem Proving: Some Applications of Mathematical Logic
Verlag: Commission of the European Communities, 1968
Anbieter: BookDepart, Shepherdstown, WV, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 64,30
Währung umrechnenEUR 65,66 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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
Erscheinungsdatum: 1968
Anbieter: Xerxes Fine and Rare Books and Documents, Glen Head, NY, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 80,24
Währung umrechnenEUR 38,09 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: VG. Luxembourg 1968. Lg.8vo., 295pp., printed cloth. VG in Fair DJ, chipped and worn.
