Login / Signup
A Combinatorial Proof of Wilson's Theorem.
Amitabha Tripathi
Published in:
Ars Comb. (2006)
Keyphrases
</>
interactive theorem proving
theorem proving
linear logic
von neumann
computer vision
knowledge base
intuitionistic logic
data mining
decision making
three dimensional
multiscale
theorem prover