A Short Proof of the Rook Reciprocity Theorem.

Timothy Y. Chow

Published in: Electron. J. Comb. (1996)

Keyphrases

interactive theorem proving
evaluation function
natural deduction
theorem proving
intuitionistic logic
machine learning
theorem prover
mathematical proofs
website
linear logic
logical rules
proof planning