default search action
- 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. CEUR Workshop Proceedings 418, CEUR-WS.org 2008
- Josef Urban:
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange.
- Geoff Sutcliffe:
The SZS Ontologies for Automated Reasoning Software.
- Loic Pottier:
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.