Für die Filterung wurden keine Ergebnisse gefunden!
- Kartoniert
- 520 Seiten
- Erschienen 2009
- -
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2-7, 2009. CADE...
53,49 €
- Kartoniert
- 400 Seiten
- Erschienen 2021
- Langen - Mueller Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
-/- von Schmidt, Renate
18,00 €
-
-
-
