Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Der Versicherte als Leitbild von Strukturreformen der gesetzlichen Krankenversicherung: Tagungsbericht
12 Angebote vergleichen
Preise | 2016 | 2019 | 2023 |
---|---|---|---|
Schnitt | € 213,04 | € 232,55 | € 2,49 |
Nachfrage |
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (1994)
ISBN: 9780387825069 bzw. 0387825061, in Englisch, 288 Seiten, Springer-Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Bookbyte Textbooks.
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-05, Studio: Springer-Verlag, Verkaufsrang: 10584942.
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (1994)
ISBN: 9780387825069 bzw. 0387825061, in Englisch, 288 Seiten, Springer-Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, DelhiBookStore.
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-05, Studio: Springer-Verlag, Verkaufsrang: 10584942.
Der Versicherte als Leitbild von Strukturreformen der gesetzlichen Krankenversicherung : Eltville, 20./21. Oktober 1995. Tagungsberichte. Institut für Gesundheits-System-Forschung, Kiel / Institut für Gesundheits-System-Forschung: Schriftenreihe ; Bd. 52 (1996)
ISBN: 9783878250616 bzw. 3878250614, vermutlich in Deutsch, Institut für Gesundheits-System-Forschung, Taschenbuch, gebraucht, guter Zustand.
87 S. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 190, Books.
Der Versicherte als Leitbild von Strukturreformen der gesetzlichen Krankenversicherung : Eltville, 20./21. Oktober 1995. Tagungsberichte. Institut für Gesundheits-System-Forschung, Kiel / Institut für Gesundheits-System-Forschung: Schriftenreihe ; Bd. 52 (1996)
ISBN: 9783878250616 bzw. 3878250614, in Deutsch, Institut für Gesundheits-System-Forschung, gebraucht, guter Zustand.
Von Händler/Antiquariat, Versandantiquariat Petra Gros GmbH & Co. KG, [3076014].
87 S. ; Broschiert Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. 1996. gebraucht; gut, 190g, Internationaler Versand, Banküberweisung, Offene Rechnung, PayPal, Offene Rechnung (Vorkasse vorbehalten).
Der Versicherte als Leitbild von Strukturreformen der gesetzlichen Krankenversicherung: Tagungsbericht
ISBN: 9783878250616 bzw. 3878250614, vermutlich in Deutsch, Taschenbuch, gebraucht, guter Zustand.
Von Händler/Antiquariat, medimops [55410863], Berlin, Germany.
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. Books.
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (1994)
ISBN: 9780387825069 bzw. 0387825061, in Englisch, Springer-Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, Basement Seller 101, OH, Cincinnati, [RE:5].
Paperback.