Gesamtpreis (1 Artikel Artikel):
Versandziel:
olivetti n (11 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (11)
- 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 (5)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (2)
Sprache (3)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
WRITER
Anbieter: Speedyhen, Hertfordshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,04
EUR 48,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: NEW. Olivetti, Ariel (illustrator).
-
Art précolombien du Mexique
Sprache: Französisch
Verlag: REUNION DES MUSEES NATIONAUX, 1990
ISBN 10: 2711823431 ISBN 13: 9782711823437
Anbieter: les routes du globe, PARIS, Frankreich
Verkäuferbewertung 5 von 5 Sternen
broché. Zustand: très bon. catalogue d'une exposition tenue au Grand Palais en 1990 310p+[1]f Cet ouvrage est disponible à la librairie. Merci de me contacter avant de vous déplacer 06 51 13 88 91. This book is available at the antiquarian bookstore.
-
Art Précolombien Du Mexique - Exposition - , Galeries Nationales Du Grand Palais, Paris, 13 Mars-30 Juillet 1990
Anbieter: Hubert Colau, LA BAZOCHE GOUET, Frankreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: very good. BROCHE BON ETAT PLIS LEGERS SUR DOS.
-
Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
-
Goal-Directed Proof Theory (Applied Logic Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,02
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,02
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 128,20
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed pro.
-
Goal-Directed Proof Theory
Sprache: Englisch
Verlag: Springer Nature B.V. Aug 2000, 2000
ISBN 10: 0792364732 ISBN 13: 9780792364733
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.
-
Diary 1982: Flavio Constantini
Verlag: Olivetti, Milan, 1981
Anbieter: Cotswold Internet Books, Cheltenham, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 36,72
EUR 16,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbFirst Edition. Tidy copy in tight binding; burgundy/brown faux leather with pictorial onlay on front board and white titles on spine; burgundy ribbon page markers. Diary not written in; contains 12 ilustrations by Flavio Constantini. Used - Very Good. VG hardback diary Used - Very Good. VG hardback diary.
