157 papers found
Refreshing results…
A Formalisation of Finite Automata using Hereditarily Finite Sets
Download from www.researchgate.netAutomated theorem proving for special functions: The next phase
Download from www.researchgate.netMachine Learning for First-Order Theorem Proving
Download from www.researchgate.netMetiTarski’s Menagerie of Cooperating Systems
Download from citeseerx.ist.psu.eduReal Algebraic Strategies for MetiTarski Proofs
Download from www.research.ed.ac.ukThe Constructible Universe and the Relative Consistency of the Axiom of Choice
Download from www.researchgate.netExtending Sledgehammer with SMT Solvers
Download from www.researchgate.netMissing publications? Read more about our data sources.