Gesamtpreis (1 Artikel Artikel):
Versandziel:
braffort p (7 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (7)
- 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 Mehr dazu
- Neu (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (3)
- Angebotsfoto (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Keine Print-on-Demand Angebote (7)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Computer Programming and Formal Systems
Verlag: North Holland Publishing Co.
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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 15,03
EUR 17,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Computer Programming and Formal Systems
Verlag: North Holland, Amsterdam, 1963
Anbieter: Riverbooks, Suttons Bay, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Fine. Zustand des Schutzumschlags: Very Good. Studies in Logic and the Foundations of Mathematics. Flexible printed wraps in original matching dust jacket. Former owners name on front fly leaf, clean interior, no underlining etc.; attractive dust jacket with a small chip missing at bottom of rear of jacket, small closed tear to top of front, else clean and bright. Condition: Fine in very good dust jacket.
-
Computer Programming and Formal Systems [Studies in Logic and the Foundations of Mathematics]
Verlag: Amsterdam, North-Holland Publishing Company, , second printing, 1967
Anbieter: Pallas Books Antiquarian Booksellers, Leiden, Niederlande
Verkäuferbewertung 4 von 5 Sternen
cloth, 8vo vii+161 pp. contributions by different authors; inferential analysis; theory of computation; an abstract computer; context-free languages; good condition (library-stamps on endpaper and titlepage; no annatations).
-
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
Zustand: 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
Verlag: Commission of the European Communities, 1968
Anbieter: BookDepart, Shepherdstown, WV, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 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
Zustand: VG. Luxembourg 1968. Lg.8vo., 295pp., printed cloth. VG in Fair DJ, chipped and worn.
