Erhalte Tipps, Meinungen und Funktionen zu Helene Kirchner Automated Deduction, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Helene Kirchner - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 464, publicationDate : 2008-06-13, authors : Helene Kirchner, Claude Kirchner, ISBN : 3540646752
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540646754
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
Entdecke Informationen, Ratschläge und Preise für Schmidt Renate A Automated Deduction, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Schmidt, Renate A. - hergestellt.
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
Finde Tipps, Bewertungen und Funktionen zu Andr Platzer Automated Deduction CADE, das für 42.79 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu André Platzer - und wird von MEDIMOPS verkauft.
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
Entdecke Informationen, Ratschläge und Preise für Shostak R E 7th International, das für 105.84 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Shostak, R. E. - hergestellt.
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
Erhalte Tipps, Meinungen und Funktionen zu Wolfgang Bibel Automated Deduction A, das für 153.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 : 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
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
Entdecke Informationen, Ratschläge und Preise für Lu Yang Automated Deduction in, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Lu Yang - hergestellt.
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
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
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
Erhalte Tipps, Meinungen und Funktionen zu Tetsuo Ida Automated Deduction in, das für 49.22 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Tetsuo Ida - hergestellt und von MEDIMOPS verkauft.
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 Francisco Botana Automated Deduction in, zum Preis von 42.8 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Francisco Botana - hergestellt.
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 Frank Pfenning Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Frank Pfenning - hergestellt.
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
Finde Tipps, Bewertungen und Funktionen zu Stickel Mark E 10th International, das für 147.74 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Stickel, Mark E. - und wird 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 Alan Bundy Automated Deduction CADE, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Alan Bundy - hergestellt und von MEDIMOPS verkauft.
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
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
Finde Tipps, Bewertungen und Funktionen zu Ricardo Caferra Automated Deduction in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Ricardo Caferra - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2000, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 3, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2008-10-10, publishers : Ricardo Caferra, languages : english, ISBN : 3540671900
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540671909
Entdecke Informationen, Ratschläge und Preise für Wolfgang Bibel Automated Deduction A, das für 201.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 : 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
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
