*Automated Deduction - CADE-19 * - 19th International Conference on Automated Deduction Miami Beach FL USA July 28 - August 2 2003 Proceedings / Taschenbücher für 53.49€ / Aus dem Bereich: Bücher-English, International-Gebundene Ausgaben Taschenbücher
Hugendubel