Staff view

You must be logged in to Tag Records
APA Citation

Schmidt, Renate A. (Eds.) (2009) Automated deduction--CADE-2222nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings Berlin ; Springer,

MLA Citation