Gesamtpreis (1 Artikel Artikel):
Versandziel:
thomas melham (12 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (12)
- 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 (6)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (2)
- 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 (2)
- Angebotsfoto (2)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Paperback. Zustand: Fine. Hardcover in like new condition. All inside pages are mint. Minor shelf wear to the dust jacket.
-
Excursion to Enchantment: A Journey to the World's Most Beautiful Places Chris Eckstrom Lee; Paul Martin; Tom Melham; Thomas O'Neill; Cynthia Russ Ramsay; Jennifer C. Urquhart; Tom Bean; Medford Taylor Annie Griffiths Belt; Paul Chesley and Nicholas De Vore III
Sprache: Englisch
Verlag: National Geographic Society, 1988
ISBN 10: 0870446673 ISBN 13: 9780870446672
Hardcover. Zustand: New. In shrink wrap.
-
Majestic Island Worlds
Sprache: Englisch
Verlag: National Geographic Society, 1987
ISBN 10: 0870446258 ISBN 13: 9780870446252
Board book. Zustand: New. In shrink wrap.
-
Great American Journeys
Sprache: Englisch
Verlag: National Geographic Society, 1989
ISBN 10: 087044669X ISBN 13: 9780870446696
Anbieter: Robinson Street Books, IOBA, Binghamton, NY, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 4 von 5 Sternen
Board book. Zustand: Very Good. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDVery good hardcover in very good dust jacket. Clean pages.
-
The World's wild shores
Anbieter: Robinson Street Books, IOBA, Binghamton, NY, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: As New. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDdust jacket chipped.
-
Great American Journeys
Verlag: National Geographic, Washington, D. C., 1989
Anbieter: Voyageur Book Shop, Milwaukee, WI, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Fine. Zustand des Schutzumschlags: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
-
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Higher Order Logic and Hardware Verification
Buch 30 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 052141718X ISBN 13: 9780521417181
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 64,34
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 180 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.
-
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
-
Taschenbuch. Zustand: Neu. Higher Order Logic Theorem Proving and Its Applications | 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings | Thomas F. Melham (u. a.) | Taschenbuch | xi | Englisch | 1994 | Springer | EAN 9783540584506 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994
Verlag: Springer-Verlag (1994), Berlin / Heidelberg, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Anbieter: Expatriate Bookshop of Denmark, Svendborg, Dänemark
Verkäuferbewertung 5 von 5 Sternen
orig. wrappers. Zustand: Minor wear. VG. 24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings".
