Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008

Piotr Rudnicki Geoff Sutcliffe Boris Konev Renate A. Schmidt Stephan Schulz Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 LPAR Workshops CEUR-WS.org CEUR Workshop Proceedings 418 2008 db/conf/lpar/lpar2008w.html