Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Book title Buchtitel
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Publisher Herausgeber
Springer LNCS
Place of publishing Erscheinungsort
LNCS/6803
DOI
10.1007/978-3-642-22438-6
Series Schriftenreihe
Lecture Notes in Computer Science
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).