Proof of a Conjecture of Goodman.

Published in: J. Symb. Log. (1954)

Keyphrases

theorem proving
mathematical proofs
databases
data structure
proof theory
computer vision
probability distribution
theorem prover
linear logic
provably correct
formal proof