Finde Tipps, Bewertungen und Funktionen zu David McAllester Automated Deduction, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu David McAllester - und wird von MEDIMOPS verkauft.
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
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
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 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
Entdecke Informationen, Ratschläge und Preise für Frank Pfenning 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 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 Tetsuo Ida Automated Deduction in, das für 49.22 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tetsuo Ida - und wird 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 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
Entdecke Informationen, Ratschläge und Preise für Franz Winkler Automated Deduction in, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Franz Winkler - hergestellt.
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 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
Entdecke Informationen, Ratschläge und Preise für Schmidt Renate A Automated Deduction, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
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 Felty Amy P Automated Deduction, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Felty, Amy P - hergestellt.
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 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
Finde Tipps, Bewertungen und Funktionen zu Leonardo de Moura Automated Deduction, das für 84.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Leonardo de Moura - und wird von MEDIMOPS verkauft.
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 William McCune 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 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 Wolfgang Bibel Automated Deduction A, zum Preis von 153.04 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
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 Jean Goubault Larrecq Proof Theory, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jean, . Goubault-Larrecq - und wird von MEDIMOPS verkauft.
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 Ricardo Caferra Automated Deduction in, 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 Ricardo Caferra - hergestellt.
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
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