Finde Tipps, Bewertungen und Funktionen zu Robert Nieuwenhuis Automated Deduction, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Robert Nieuwenhuis - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 476, publicationDate : 2008-10-10, publishers : Robert Nieuwenhuis, ISBN : 3540280057
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540280057
Erhalte Tipps, Meinungen und Funktionen zu Shostak R E 7th International, das für 105.84 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Shostak, R. E. - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1984, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 524, publicationDate : 1984-05-18, publishers : Shostak, R. E., ISBN : 0387960228
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780387960227
Entdecke Informationen, Ratschläge und Preise für Andr Platzer Automated Deduction CADE, zum Preis von 42.79 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von André Platzer - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 664, publicationDate : 2021-07-08, releaseDate : 2021-07-08, publishers : André Platzer, Geoff Sutcliffe, ISBN : 3030798755
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030798758
Erhalte Tipps, Meinungen und Funktionen zu Franz Winkler Automated Deduction in, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Franz Winkler - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 248, publicationDate : 2008-06-13, authors : Franz Winkler, ISBN : 3540209271
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540209270
Finde Tipps, Bewertungen und Funktionen zu Schmidt Renate A Automated Deduction, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Schmidt, Renate A. - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 520, publicationDate : 2009-07-10, releaseDate : 2009-07-10, publishers : Schmidt, Renate A., languages : english, ISBN : 3642029582
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642029585
Erhalte Tipps, Meinungen und Funktionen zu William McCune Automated Deduction, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von William McCune - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1997, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 484, publicationDate : 2008-06-13, authors : William McCune, ISBN : 3540631046
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540631040
Erhalte Tipps, Meinungen und Funktionen zu Lu Yang Automated Deduction in, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Lu Yang - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 300, publicationDate : 2008-06-13, authors : Lu Yang, Dongming Wang, Xiao-Shan Gao, ISBN : 3540666729
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540666721
Entdecke Informationen, Ratschläge und Preise für Leonardo de Moura Automated Deduction, das für 84.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Leonardo de Moura - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 596, publicationDate : 2017-07-11, releaseDate : 2017-07-11, publishers : Leonardo de Moura, languages : english, ISBN : 3319630458
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319630458
Finde Tipps, Bewertungen und Funktionen zu Felty Amy P Automated Deduction, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Felty, Amy P - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 640, publicationDate : 2015-07-30, publishers : Felty, Amy P, Aart Middeldorp, languages : english, ISBN : 3319214004
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319214009
Entdecke Informationen, Ratschläge und Preise für Wolfgang Bibel Automated Deduction A, das für 153.04 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Wolfgang Bibel - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 347, publicationDate : 1998-06-30, publishers : Wolfgang Bibel, P.H. Schmitt, ISBN : 0792351312
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792351313
Erhalte Tipps, Meinungen und Funktionen zu Stickel Mark E 10th International, das für 147.74 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Stickel, Mark E. - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1990, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 708, publicationDate : 2008-10-10, publishers : Stickel, Mark E., ISBN : 3540528857
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540528852
Erhalte Tipps, Meinungen und Funktionen zu Frank Pfenning Automated Deduction, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Frank Pfenning - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2007-08-24, publishers : Frank Pfenning, languages : english, ISBN : 3540735941
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540735946
Erhalte Tipps, Meinungen und Funktionen zu Francisco Botana Automated Deduction in, das für 42.8 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Francisco Botana - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 181, publicationDate : 2015-07-27, publishers : Francisco Botana, Pedro Quaresma, languages : english, ISBN : 331921361X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319213613
Entdecke Informationen, Ratschläge und Preise für Tetsuo Ida Automated Deduction in, zum Preis von 49.22 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tetsuo Ida - hergestellt.
Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 204, publicationDate : 2013-09-04, releaseDate : 2013-09-04, publishers : Tetsuo Ida, languages : english, ISBN : 3642406718
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642406713
Entdecke Informationen, Ratschläge und Preise für Alan Bundy Automated Deduction CADE, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Alan Bundy - hergestellt.
Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 852, publicationDate : 1994-06-08, publishers : Alan Bundy, languages : english, ISBN : 3540581561
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540581567
Erhalte Tipps, Meinungen und Funktionen zu Wolfgang Bibel Automated Deduction A, das für 201.04 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Wolfgang Bibel - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1998, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 448, publicationDate : 1998-06-30, releaseDate : 1998-06-30, publishers : Wolfgang Bibel, P.H. Schmitt, ISBN : 0792351304
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792351306
Entdecke Informationen, Ratschläge und Preise für Jean Goubault Larrecq Proof Theory, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Jean, . Goubault-Larrecq - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1997, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 444, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Jean, . Goubault-Larrecq, ISBN : 1402003684
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781402003684
Entdecke Informationen, Ratschläge und Preise für Harald Ganzinger Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Harald Ganzinger - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 450, publicationDate : 2008-06-13, authors : Harald Ganzinger, ISBN : 3540662227
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540662228
Erhalte Tipps, Meinungen und Funktionen zu Pascal Fontaine Automated Deduction CADE, das für 85.59 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Pascal Fontaine - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 608, publicationDate : 2019-08-21, releaseDate : 2019-08-21, publishers : Pascal Fontaine, ISBN : 3030294358
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030294359
Entdecke Informationen, Ratschläge und Preise für David McAllester Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von David McAllester - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2000, Label : Springer, Publisher : Springer, NumberOfItems : 3, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 540, publicationDate : 2000-06-22, publishers : David McAllester, ISBN : 3540676643
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540676645