Entdecke Informationen, Ratschläge und Preise für Gerwin Klein Interactive Theorem Proving, 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 Gerwin Klein - hergestellt.
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 Blanchette Jasmin Christian Interactive, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Blanchette, Jasmin Christian - und wird 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
Finde Tipps, Bewertungen und Funktionen zu Yves Bertot Interactive Theorem Proving, das für 84.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Yves Bertot - und wird 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
Entdecke Informationen, Ratschläge und Preise für Jeremy Avigad Interactive Theorem Proving, zum Preis von 96.01 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Jeremy Avigad - hergestellt.
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
Entdecke Informationen, Ratschläge und Preise für Mauricio Ayala Rinc n Interactive, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Mauricio Ayala-Rincón - hergestellt.
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
Erhalte Tipps, Meinungen und Funktionen zu Yves Bertot Interactive Theorem Proving, das für 117.69 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Yves Bertot - hergestellt und von MEDIMOPS verkauft.
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
Entdecke Informationen, Ratschläge und Preise für Christian Urban Interactive Theorem Proving, 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 Christian Urban - hergestellt.
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
Finde Tipps, Bewertungen und Funktionen zu Sandrine Blazy 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 Sandrine Blazy - und wird 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, das für 207.5 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; 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
Entdecke Informationen, Ratschläge und Preise für Wu Wen tsun Mathematics Mechanization, zum Preis von 102.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Wu Wen-tsun - hergestellt.
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
Finde Tipps, Bewertungen und Funktionen zu Jean H Gallier GEBRAUCHT Logic, das für 29.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jean H. Gallier - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : Revised., Label : Dover Pubn Inc, Publisher : Dover Pubn Inc, NumberOfItems : 1, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 544, publicationDate : 2015-06-26, authors : Jean H. Gallier, ISBN : 0486780821
Zustand: used
Verfügbarkeit: in_stock
Lieferzeit: 1-4 Werktage
EAN: 9780486780825
Finde Tipps, Bewertungen und Funktionen zu Melvin Fitting First Order Logic, das für 90.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Melvin Fitting - und wird von MEDIMOPS verkauft.
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
Entdecke Informationen, Ratschläge und Preise für Jim Grundy Theorem Proving in, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; 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 Joyce Jeffrey J Higher Order, zum Preis von 53.24 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
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 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 Stefan Berghofer 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 Stefan Berghofer - hergestellt.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2009-08-04, releaseDate : 2009-08-04, publishers : Stefan Berghofer, languages : english, ISBN : 364203358X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642033582
Finde Tipps, Bewertungen und Funktionen zu Schumann Johann M Automated Theorem, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Schumann, Johann M. - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, medium : Taschenbuch, publicationDate : 2010-01-01, authors : Schumann, Johann M., ISBN : 3642087590
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642087592
Erhalte Tipps, Meinungen und Funktionen zu Burkhart Wolff Theorem Proving in, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Burkhart Wolff - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2008-06-13, authors : Burkhart Wolff, David Basin, ISBN : 3540406646
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540406648
Entdecke Informationen, Ratschläge und Preise für Wen Ts Xfcn Wu Mechanical, 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 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
