Details:
| Title | Automated deduction -- CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17--20, 2007. Proceedings. | | Author(s) | | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 978-3-540-73594-6/pbk |
| Language | English | | Pages | xii 522 | | Publisher | Berlin: Springer | | Year | 2007 | | Editor | Frank Pfenning | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
