Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
438 Seiten, Taschenbuch
€ 54,99
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Artificial Intelligence |
|---|---|
| ISBN | 9783540662228 |
| Sprache | Englisch |
| Erscheinungsdatum | 23.06.1999 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Harald Ganzinger |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
| Reihe | Lecture Notes in Artificial Intelligence |
|---|---|
| ISBN | 9783540662228 |
| Sprache | Englisch |
| Erscheinungsdatum | 23.06.1999 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Herausgegeben von | Harald Ganzinger |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?