EasyChair logo

EPiC Volume 9

Renate A. Schmidt, Stephan Schulz and Boris Konev (editors)

PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Volume Information

Title:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Editors:Renate A. Schmidt, Stephan Schulz and Boris Konev
Series:EasyChair Proceedings in Computing
Volume:9
Publication date:May 16, 2012

Papers