Automated Deduction - CADE-19
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science (2741), Band 2741)
53.49 EUR
Preis aktualisiert am: 22-04-2026 05:40:00
53.49 EUR
Preis aktualisiert am: 22-04-2026 05:40:00 
SpringerLink DE
Gesponsert Automated Deduction - CADE-19
53.49 EUR
Preis aktualisiert am: 22-04-2026 09:18:37
53.49 EUR
Preis aktualisiert am: 22-04-2026 09:18:37 | Bezeichner | |
|---|---|
| ISBN | Franz Baader 3540405593 |
| MPN | Franz Baader Illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Franz Baader
