Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Automated Deduction – CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
466 Seiten, Taschenbuch
€ 54,99
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783540280057 |
| Sprache | Englisch |
| Erscheinungsdatum | 14.07.2005 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Robert Nieuwenhuis |
| 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 Computer Science |
|---|---|
| ISBN | 9783540280057 |
| Sprache | Englisch |
| Erscheinungsdatum | 14.07.2005 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Robert Nieuwenhuis |
| 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?