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
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Automated deduction--CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /
Renate A. Schmidt (ed.).
|Names:||Schmidt, Renate A.|
|Published:||Berlin ; Springer, c2009.|
Lecture notes in computer science ; 5663.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7 Artificial intelligence.
|Topics:||Automatic theorem proving - Congresses. | Logic, Symbolic and mathematical - Congresses.|