Schmidt, Renate A.
Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / [electronic resource] : edited by Renate A. Schmidt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5663 0302-9743 ; . - Lecture Notes in Computer Science, 5663 .
9783642029592
10.1007/978-3-642-02959-2 doi
Computer science.
Computer Science.
Computer Science, general.
QA75.5-76.95
004
Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / [electronic resource] : edited by Renate A. Schmidt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5663 0302-9743 ; . - Lecture Notes in Computer Science, 5663 .
9783642029592
10.1007/978-3-642-02959-2 doi
Computer science.
Computer Science.
Computer Science, general.
QA75.5-76.95
004