Login / Signup
On the Proof of a Theorem of Pálfy.
Edward Dobson
Published in:
Electron. J. Comb. (2006)
Keyphrases
</>
interactive theorem proving
intuitionistic logic
linear logic
theorem proving
theorem prover
natural deduction
real time
von neumann
database systems
expert systems
data sets
artificial intelligence
heavy traffic limit