N olivetti (11 Ergebnisse)
- Softcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 5,49
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 5,70
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Speedyhen, Hertfordshire, Vereinigtes KönigreichSpeedyhen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 18,04
EUR 48,08 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: NEW. Olivetti, Ariel (illustrator).
- Softcover
Anbieter: les routes du globe, PARIS, Frankreichles routes du globe
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 20,00
EUR 30,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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
EXPO.GALERIES NATIONALES GRAND PŽLAIS 1990 RMN / OLIVETTI EPUISE
- Softcover
Anbieter: Hubert Colau, LA BAZOCHE GOUET, FrankreichHubert Colau
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 12,00
EUR 40,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: very good. BROCHE BON ETAT PLIS LEGERS SUR DOS.
- Softcover
Anbieter: RECYCLIVRE, Paris, FrankreichRECYCLIVRE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 6,64
EUR 65,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 117,02
EUR 14,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 117,02
EUR 14,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,20
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. 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.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 157,86
EUR 62,97 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Verlag: Olivetti, Milan, 1981
- Erstausgabe
Anbieter: Cotswold Internet Books, Cheltenham, Vereinigtes KönigreichCotswold Internet Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 36,72
EUR 16,42 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
First 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.
