The following pages link to (Q4792019):
Displaying 11 items.
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Formalizing axiomatic systems for propositional logic in Isabelle/HOL (Q2128791) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time (Q3102743) (← links)
- (Q4816538) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
- Building Theorem Provers (Q5191110) (← links)
- Proof simplification and automated theorem proving (Q5204800) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- 2007 Spring Meeting of the Association for Symbolic Logic (Q5444713) (← links)