Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Automated Reasoning First, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 728, publicationDate : 2008-06-13, authors : Tobias Nipkow, Alexander Leitsch, Rajeev Gore, ISBN : 3540422544
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540422549
Finde Tipps, Bewertungen und Funktionen zu Tobias Nipkow Isabelle HOL A, das für 58.54 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tobias Nipkow - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 240, publicationDate : 2002-04-03, releaseDate : 2002-04-03, authors : Tobias Nipkow, ISBN : 3540433767
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540433767
Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Types for Proofs, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 404, publicationDate : 2008-06-13, authors : Tobias Nipkow, Henk Barendregt, ISBN : 3540580859
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540580850
Erhalte Tipps, Meinungen und Funktionen zu Tobias Nipkow Concrete Semantics With, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Tobias Nipkow - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2016-09-10, releaseDate : 2016-09-10, authors : Tobias Nipkow, ISBN : 331935759X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319357591
Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Concrete Semantics With, das für 71.89 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Binding : Gebundene Ausgabe, Edition : 2014, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 298, publicationDate : 2014-12-15, authors : Tobias Nipkow, Gerwin Klein, languages : english, ISBN : 3319105418
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319105413
Finde Tipps, Bewertungen und Funktionen zu Tobias Nipkow Rewriting Techniques and, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Tobias Nipkow - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 360, publicationDate : 2008-06-13, authors : Tobias Nipkow, ISBN : 354064301X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540643012
Erhalte Tipps, Meinungen und Funktionen zu Natarajan Shankar GEBRAUCHT Automated, das für 3.72 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Natarajan Shankar - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2006, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 704, publicationDate : 2008-06-13, releaseDate : 2006-10-15, authors : Natarajan Shankar, Ulrich Furbach, ISBN : 3540371877
Zustand: used
Verfügbarkeit: in_stock
Versandkosten: 1.99
Lieferzeit: 3 bis 5 Werktagen
EAN: 9783540371878
Finde Tipps, Bewertungen und Funktionen zu Stephane Demri Automated Reasoning 7th, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Stephane Demri - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 556, publicationDate : 2014-08-04, releaseDate : 2014-08-04, publishers : Stephane Demri, Deepak Kapur, Christoph Weidenbach, ISBN : 3319085867
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319085869
Entdecke Informationen, Ratschläge und Preise für Alessandro Armando Automated Reasoning 4th, das für 45.01 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Alessandro Armando - hergestellt.
Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, PackageQuantity : 3, medium : Taschenbuch, numberOfPages : 572, publicationDate : 2008-09-11, publishers : Alessandro Armando, languages : english, ISBN : 3540710698
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540710691
Erhalte Tipps, Meinungen und Funktionen zu Andrei Voronkov Logic Programming and, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Andrei Voronkov - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2008-06-13, authors : Andrei Voronkov, ISBN : 354055727X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540557272
Entdecke Informationen, Ratschläge und Preise für John Harrison Handbook of Practical, das für 167.2 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von John Harrison - hergestellt.
Binding : Gebundene Ausgabe, Edition : 1, Label : Cambridge University Press, Publisher : Cambridge University Press, medium : Gebundene Ausgabe, numberOfPages : 702, publicationDate : 2009-03-12, authors : John Harrison, languages : english, ISBN : 0521899575
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780521899574
Erhalte Tipps, Meinungen und Funktionen zu Z Stachniak Resolution Proof Systems, das für 106.99 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Z. Stachniak - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1996, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 224, publicationDate : 1996-04-30, releaseDate : 1996-04-30, authors : Z. Stachniak, ISBN : 0792340175
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792340171
Erhalte Tipps, Meinungen und Funktionen zu Nicola Olivetti Automated Reasoning 8th, das für 85.59 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Nicola Olivetti - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 600, publicationDate : 2016-06-12, releaseDate : 2016-06-12, publishers : Nicola Olivetti, languages : english, ISBN : 3319402285
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319402284
Entdecke Informationen, Ratschläge und Preise für Frank Pfenning Logic Programming and, 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.
Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 364, publicationDate : 2008-06-13, authors : Frank Pfenning, ISBN : 3540582169
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540582168
Erhalte Tipps, Meinungen und Funktionen zu Nicolas Peltier Automated Reasoning 10th, das für 85.59 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Nicolas Peltier - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 568, publicationDate : 2020-06-30, releaseDate : 2020-06-30, publishers : Nicolas Peltier, Viorica Sofronie-Stokkermans, ISBN : 3030510735
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030510732
Erhalte Tipps, Meinungen und Funktionen zu Pietro Li Automated Reasoning for, das für 106.99 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Pietro Liò - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 485, publicationDate : 2019-06-24, publishers : Pietro Liò, Paolo Zuliani, ISBN : 3030172961
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030172961
Finde Tipps, Bewertungen und Funktionen zu Nicolas Peltier Automated Reasoning 10th, das für 79.04 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Nicolas Peltier - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2020-06-30, releaseDate : 2020-06-30, publishers : Nicolas Peltier, Viorica Sofronie-Stokkermans, ISBN : 3030510530
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030510534
Entdecke Informationen, Ratschläge und Preise für Michael Rusinowitch Automated Reasoning, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Michael Rusinowitch - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 512, publicationDate : 2008-06-13, releaseDate : 2004-08-15, authors : Michael Rusinowitch, David Basin, ISBN : 3540223452
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540223450
Entdecke Informationen, Ratschläge und Preise für Leonard Bolc Many Valued Logics, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Leonard Bolc - hergestellt.
Binding : Gebundene Ausgabe, Edition : 2003, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 304, publicationDate : 2003-10-23, authors : Leonard Bolc, Piotr Borowik, languages : english, ISBN : 3540645071
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540645078
Entdecke Informationen, Ratschläge und Preise für Art Quaife Automated Development of, zum Preis von 194.34 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Art Quaife - hergestellt.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1993, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 291, publicationDate : 1992-11-30, authors : Art Quaife, ISBN : 0792320212
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792320210
