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
Entdecke Informationen, Ratschläge und Preise für Robert Nieuwenhuis Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Robert Nieuwenhuis - hergestellt.
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 William McCune Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von William McCune - hergestellt.
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
Entdecke Informationen, Ratschläge und Preise für Leonardo de Moura Automated Deduction, zum Preis von 84.94 € : es gehört zur Kategorie Bücher & Zeitschriften; 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 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
Entdecke Informationen, Ratschläge und Preise für Alan Bundy Automated Deduction CADE, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
Finde Tipps, Bewertungen und Funktionen zu Harald Ganzinger Automated Deduction, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Harald Ganzinger - und wird von MEDIMOPS verkauft.
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
Entdecke Informationen, Ratschläge und Preise für David McAllester 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 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 Pascal Fontaine Automated Deduction CADE, das für 85.59 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Pascal Fontaine - und wird 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
Finde Tipps, Bewertungen und Funktionen zu D Kapur Automated Deduction CADE, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu D. Kapur - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 816, publicationDate : 2009-02-22, publishers : D. Kapur, ISBN : 3540556028
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540556022
Entdecke Informationen, Ratschläge und Preise für Helene Kirchner Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Helene Kirchner - hergestellt.
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
Entdecke Informationen, Ratschläge und Preise für Franz Baader Automated Deduction CADE, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Franz Baader - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 524, publicationDate : 2008-10-10, publishers : Franz Baader, ISBN : 3540405593
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540405597
Finde Tipps, Bewertungen und Funktionen zu Brigitte Pientka Automated Deduction, das für 36.22 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Brigitte Pientka - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 617, publicationDate : 2023-09-03, releaseDate : 2023-09-03, publishers : Brigitte Pientka, Cesare Tinelli, ISBN : 3031384989
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031384981
Entdecke Informationen, Ratschläge und Preise für Bonacina Maria Paola Automated Deduction, zum Preis von 52.84 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Bonacina, Maria Paola - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 484, publicationDate : 2013-05-16, releaseDate : 2013-05-16, publishers : Bonacina, Maria Paola, ISBN : 3642385737
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642385735
Finde Tipps, Bewertungen und Funktionen zu Shostak R E 7th International, das für 105.84 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Shostak, R. E. - und wird 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
Erhalte Tipps, Meinungen und Funktionen zu Schmidt Renate A Automated Deduction, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Schmidt, Renate A. - hergestellt und 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
Finde Tipps, Bewertungen und Funktionen zu Franz Winkler 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 Franz Winkler - und wird 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
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 Stickel Mark E 10th International, das für 147.74 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Stickel, Mark E. - hergestellt.
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
