Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
(9783642029585 / biography)
Preis von (4 Angebote)53.49 EUR
Weitere Informationen
(9783642029585 / biography)
(9783337442255)
(9783838317397) | Neither here
Hansebooks (9783337763930) | Institutions and, Hand-guide to Montreal
Tredition GmbH (9783842464902)