Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings
CADE. Bd. 6803. 2011
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-22438-6
Geprüft | Bibliothek |