Bonacina, Maria Paola. (Eds.) (2013) Automated deduction -- CADE-2424th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, 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-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, proceedings /
Maria Paola Bonacina (ed.).
|Names:||Bonacina, Maria Paola.|
|Published:||Berlin ; Springer, c2013.|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 7898.
LNCS sublibrary. SL 7, Artificial intelligence.
|Topics:||Automatic theorem proving - Congresses. | Logic, Symbolic and mathematical - Congresses.|
SpringerLink (Opens in a new window) Link to Automated deduction -- CADE-24 (access limited to Benedictine University patrons)