Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

PSZJBL

Bibliographic Details
Main Authors: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), Pfenning, Frank, SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Automatic theorem proving
Logic, Symbolic and mathematical
Online Access:http://dx.doi.org/10.1007/978-3-540-73595-3

Similar Items

Similar Items