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
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
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
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
Entdecke Informationen, Ratschläge und Preise für Jeremy Avigad Interactive Theorem Proving, das für 96.01 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; 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, 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 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 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 Christian Urban Interactive Theorem Proving, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; 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
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
Entdecke Informationen, Ratschläge und Preise für Dominique Snyers From Logic Design, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; 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 Boulton Richard J 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 Boulton, Richard J. - hergestellt.
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
Finde Tipps, Bewertungen und Funktionen zu Laurent Thery Theorem Proving in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Laurent Thery - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer, Publisher : Springer, NumberOfItems : 3, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 372, publicationDate : 2008-06-13, authors : Laurent Thery, Yves Bertot, Andre Hirschowitz, Christine Paulin, Gilles Dowek, ISBN : 3540664637
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540664635
Entdecke Informationen, Ratschläge und Preise für Melvin Fitting First Order Logic, das für 90.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; 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
Finde Tipps, Bewertungen und Funktionen zu Carre o Victor A Theorem, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Carreño, Victor A. - und wird 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
Erhalte Tipps, Meinungen und Funktionen zu Jim Grundy Theorem Proving in, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Jim Grundy - hergestellt und von MEDIMOPS verkauft.
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 Schumann Johann M Automated Theorem, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Schumann, Johann M. - hergestellt.
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
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
Erhalte Tipps, Meinungen und Funktionen zu Stefan Berghofer Theorem Proving in, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Stefan Berghofer - hergestellt und von MEDIMOPS verkauft.
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
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
Finde Tipps, Bewertungen und Funktionen zu Schubert E Thomas Higher Order, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Schubert, E. Thomas - und wird von MEDIMOPS verkauft.
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
