Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Automated Deduction - CADE-21
21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
524 Seiten, Taschenbuch
€ 54,99
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Artificial Intelligence |
|---|---|
| ISBN | 9783540735946 |
| Sprache | Englisch |
| Erscheinungsdatum | 05.07.2007 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Frank Pfenning |
| Lieferzeit | Lieferbar in 6 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
| Reihe | Lecture Notes in Artificial Intelligence |
|---|---|
| ISBN | 9783540735946 |
| Sprache | Englisch |
| Erscheinungsdatum | 05.07.2007 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Frank Pfenning |
| Lieferzeit | Lieferbar in 6 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?