Login / Signup
On Holant Theorem and Its Proof
Ali Al-Bashabsheh
Yongyi Mao
Abbas Yongaçoglu
Published in:
CoRR (2010)
Keyphrases
</>
interactive theorem proving
theorem prover
three dimensional
natural language
computational complexity
theorem proving
von neumann
complete axiomatization