Login / Signup
A concise proof of Commoner's theorem.
Petr Jancar
Published in:
CoRR (2024)
Keyphrases
</>
learning environment
interactive theorem proving
theorem prover
von neumann
theorem proving
linear logic
intuitionistic logic
learning algorithm
concise representation
databases
neural network
data mining
bayesian networks
multiscale
proof planning
mathematical proofs