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.|
|Meeting Name:||International Conference on Automated Deduction (22nd : 2009 : Montréal, Québec)|
|Physical Description:||1 online resource (xiv, 504 p.) : ill.
|Includes:||Includes bibliographical references and index.
|Notes:||Title from PDF t.p. (SpringerLink, viewed July 29, 2009).