E-book
Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt.
Record details
- ISBN: 9783642029592
- Physical Description: online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Search for related items by subject
| Subject: | Computer science. Computer Science. Computer Science, general. |
