Login / Signup
A short proof of Fan's theorem.
Feng Tian
Published in:
Discret. Math. (2004)
Keyphrases
</>
interactive theorem proving
theorem proving
real time
linear logic
natural deduction
bayesian networks
von neumann
intuitionistic logic
multiscale
expert systems
theorem prover
digital topology