Login / Signup
A Proof of Stavi's Theorem.
Alexander Rabinovich
Published in:
CoRR (2017)
Keyphrases
</>
interactive theorem proving
neural network
artificial intelligence
von neumann
natural deduction
social networks
image sequences
data structure
preprocessing
information technology
theorem prover
theorem proving
linear logic