Finde Tipps, Bewertungen und Funktionen zu Christian Urban Interactive Theorem Proving, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Christian Urban - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 484, publicationDate : 2015-08-27, releaseDate : 2015-08-27, publishers : Christian Urban, Xingyuan Zhang, languages : english, ISBN : 3319221019
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319221014
Erhalte Tipps, Meinungen und Funktionen zu Blanchette Jasmin Christian Interactive, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Blanchette, Jasmin Christian - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 520, publicationDate : 2016-08-07, releaseDate : 2016-08-07, publishers : Blanchette, Jasmin Christian, languages : english, ISBN : 3319431439
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319431437
Erhalte Tipps, Meinungen und Funktionen zu Yves Bertot Interactive Theorem Proving, das für 84.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Yves Bertot - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 500, publicationDate : 2010-02-19, authors : Yves Bertot, ISBN : 3642058809
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642058806
Erhalte Tipps, Meinungen und Funktionen zu Gerwin Klein Interactive Theorem Proving, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Gerwin Klein - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 580, publicationDate : 2014-08-01, releaseDate : 2014-08-01, publishers : Gerwin Klein, languages : english, ISBN : 3319089692
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319089690
Finde Tipps, Bewertungen und Funktionen zu Jeremy Avigad Interactive Theorem Proving, das für 96.01 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jeremy Avigad - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 642, publicationDate : 2018-07-04, publishers : Jeremy Avigad, Assia Mahboubi, ISBN : 3319948202
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319948201
Finde Tipps, Bewertungen und Funktionen zu Mauricio Ayala Rinc n Interactive, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Mauricio Ayala-Rincón - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2017-08-21, releaseDate : 2017-08-21, publishers : Mauricio Ayala-Rincón, languages : english, ISBN : 331966106X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319661063
Entdecke Informationen, Ratschläge und Preise für Yves Bertot Interactive Theorem Proving, zum Preis von 116.64 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Yves Bertot - hergestellt.
Binding : Gebundene Ausgabe, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 472, publicationDate : 2004-05-14, authors : Yves Bertot, Pierre Castéran, languages : english, ISBN : 3540208542
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540208549
Erhalte Tipps, Meinungen und Funktionen zu Sandrine Blazy Interactive Theorem Proving, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Sandrine Blazy - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 498, publicationDate : 2013-07-19, publishers : Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, languages : english, ISBN : 364239633X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642396335
Entdecke Informationen, Ratschläge und Preise für Osman Hasan Formalized Probability Theory, zum Preis von 213.6 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Osman Hasan - hergestellt.
Brand : Information Science Reference, Binding : Gebundene Ausgabe, Edition : Illustrated, Label : Information Science Reference, Publisher : Information Science Reference, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 312, publicationDate : 2015-03-31, releaseDate : 2015-03-31, authors : Osman Hasan, Sofiène Tahar, ISBN : 1466683155
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781466683150
Erhalte Tipps, Meinungen und Funktionen zu Wu Wen tsun Mathematics Mechanization, das für 102.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Wu Wen-tsun - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2001, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 432, publicationDate : 2001-04-30, authors : Wu Wen-tsun, ISBN : 079235835X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792358350
Entdecke Informationen, Ratschläge und Preise für Carrier Richard C Proving History, zum Preis von 28.1 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Carrier, Richard C. - hergestellt.
Binding : Gebundene Ausgabe, Edition : New, Label : Prometheus Books, Publisher : Prometheus Books, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 340, publicationDate : 2012-04-24, releaseDate : 2012-04-24, authors : Carrier, Richard C., ISBN : 1616145595
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781616145590
Entdecke Informationen, Ratschläge und Preise für Melvin Fitting First Order Logic, zum Preis von 90.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Melvin Fitting - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 348, publicationDate : 2013-06-26, releaseDate : 2013-06-26, authors : Melvin Fitting, ISBN : 1461275156
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781461275152
Erhalte Tipps, Meinungen und Funktionen zu Carre o Victor A Theorem, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Carreño, Victor A. - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2009-02-22, publishers : Carreño, Victor A., ISBN : 3540440399
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540440390
Entdecke Informationen, Ratschläge und Preise für Jim Grundy Theorem Proving 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 Jim Grundy - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 514, publicationDate : 2008-06-13, authors : Jim Grundy, Malcolm Newey, ISBN : 3540649875
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540649878
Entdecke Informationen, Ratschläge und Preise für Wen Ts Xfcn Wu Mechanical, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Wen-Ts\Xfcn Wu - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1994, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 308, publicationDate : 1994-04-14, releaseDate : 1994-04-14, authors : Wen-Ts\Xfcn Wu, ISBN : 3211825061
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783211825068
Erhalte Tipps, Meinungen und Funktionen zu Boulton Richard J Theorem Proving, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Boulton, Richard J. - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 410, publicationDate : 2008-06-13, authors : Boulton, Richard J., Jackson, Paul B., ISBN : 354042525X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540425250
Entdecke Informationen, Ratschläge und Preise für Dominique Snyers From Logic Design, 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 Dominique Snyers - hergestellt.
Binding : Taschenbuch, Edition : 1987, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 134, publicationDate : 2008-06-13, authors : Dominique Snyers, André Thayse, languages : english, ISBN : 3540182179
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540182177
Entdecke Informationen, Ratschläge und Preise für Shang Ching Chou Mechanical Geometry, das für 106.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Shang-Ching Chou - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1988, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2001-11-30, releaseDate : 2001-11-30, authors : Shang-Ching Chou, ISBN : 1402003307
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781402003301
Entdecke Informationen, Ratschläge und Preise für Schubert E Thomas Higher Order, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Schubert, E. Thomas - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 416, publicationDate : 2009-02-22, publishers : Schubert, E. Thomas, ISBN : 3540602755
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540602750
Entdecke Informationen, Ratschläge und Preise für Joyce Jeffrey J Higher Order, das für 53.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Joyce, Jeffrey J. - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2008-06-13, authors : Joyce, Jeffrey J., Seger, Carl-Johan H., ISBN : 3540578269
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540578260