Abstract is missing.
- Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem ProversLawrence C. Paulson. 1-10 [doi]
- Automated Reasoning in the Simulation of Evolvable SystemsDjihed Afifi, David E. Rydeheard, Howard Barringer. 11-21 [doi]
- Progress in Automating Higher-Order Ontology ReasoningChristoph Benzmüller, Adam Pease. 22-32 [doi]
- GridTPT: a distributed platform for Theorem Prover TestingThomas Bouton, Diego Caminha, David Déharbe, Pascal Fontaine. 33-39 [doi]
- Automated Higher-order Reasoning about QuantalesHan-Hing Dang, Peter Höfner. 40-51 [doi]
- Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau CalculusGuido Fiorino. 52-62 [doi]
- A Comparison of Solvers for Propositional Dynamic LogicUllrich Hustadt, Renate A. Schmidt. 63-73 [doi]
- Trie Based Subsumption and Improving the pi-Trie AlgorithmAndrew Matusiewicz, Neil V. Murray, Erik Rosenthal. 74-83 [doi]
- Automation for Geometry in Isabelle/HOLLaura I. Meikle, Jacques D. Fleuriot. 84-94 [doi]