Login / Signup
A new proof of a theorem of Graham and Pollak.
G. W. Peck
Published in:
Discret. Math. (1984)
Keyphrases
</>
interactive theorem proving
von neumann
theorem proving
proof planning
artificial intelligence
computer vision
theorem prover
automated theorem proving
proof search
mathematical proofs