Login / Signup
Computationally Sound Proofs.
Silvio Micali
Published in:
SIAM J. Comput. (2000)
Keyphrases
</>
theorem prover
theorem proving
database
information retrieval
image sequences
neural network
machine learning
formal proofs
mathematical proofs