Login / Signup
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL.
Daniel Kirchner
Published in:
Arch. Formal Proofs (2017)
Keyphrases
</>
theorem prover
natural deduction
neural network
data sets
information systems
object recognition
theorem proving