1995, ISBN: 9780387826004
Springer Verlag, Taschenbuch, 223 Seiten, Publiziert: 1995-01-01T00:00:01Z, Produktgruppe: Buch, 1 kg, Softwareentwicklung, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büche… Mehr…
amazon.de |
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) - Taschenbuch
1995, ISBN: 0387826009
[EAN: 9780387826004], Gebraucht, guter Zustand, [PU: Springer-Verlag Telos], AUTOMATA AUTOMATIC THEOREM PROVING COMPUTER ARITHMETIC BKS LANGUAGES PROGRAMMING COMPU, Satisfaction 100% guar… Mehr…
AbeBooks.de Bookmans, tucson, AZ, U.S.A. [7809584] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 18.44 Details... |
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) - Taschenbuch
1995, ISBN: 9780387826004
Springer-Verlag Telos, 1995-01. Paperback. Good., Springer-Verlag Telos, 1995-01, 2.5
Biblio.co.uk |
1995, ISBN: 0387826009
[EAN: 9780387826004], Gebraucht, wie neu, [PU: Springer Verlag], Like New, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Versandkosten: EUR 34.50 Details... |
Biblio.co.uk |
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) - Taschenbuch
1995, ISBN: 9780387826004
Springer Verlag, Taschenbuch, 223 Seiten, Publiziert: 1995-01-01T00:00:01Z, Produktgruppe: Buch, 1 kg, Softwareentwicklung, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büche… Mehr…
Jochen Pfalzgraf~Dongming Wang:
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) - Taschenbuch1995, ISBN: 0387826009
[EAN: 9780387826004], Gebraucht, guter Zustand, [PU: Springer-Verlag Telos], AUTOMATA AUTOMATIC THEOREM PROVING COMPUTER ARITHMETIC BKS LANGUAGES PROGRAMMING COMPU, Satisfaction 100% guar… Mehr…
ISBN: 9780387826004
Like New., 5
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
EAN (ISBN-13): 9780387826004
ISBN (ISBN-10): 0387826009
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Pfalzgraf, Jochen, Wang, Dongming, Springer Verlag
Buch in der Datenbank seit 2008-12-12T00:16:11+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-03-31T08:49:17+02:00 (Zurich)
ISBN/EAN: 9780387826004
ISBN - alternative Schreibweisen:
0-387-82600-9, 978-0-387-82600-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: pfalzgraf
Titel des Buches: automated reasoning, plant systematics and evolution, practical reasoning
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783709166048 Automated Practical Reasoning (Jochen Pfalzgraf; Dongming Wang)
< zum Archiv...