Lecture Notes in Computer Science
Volume 4603, 2007, DOI: 10.1007/978-3-540-73595-3

Automated Deduction – CADE-21
21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Frank Pfenning

Search within

Browse This Book

About This Book

Title
Automated Deduction – CADE-21
21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Editor
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2007
DOI
10.1007/978-3-540-73595-3
ISBN
978-3-540-73594-6
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Tuesday, September 04, 2007

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002