Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Series: | Lecture Notes in Artificial Intelligence ;
4603 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-73595-3 |
| Physical Description: | XII, 524 p. online resource. |
|---|---|
| ISBN: | 9783540735953 |