Login / Signup
An Algebraic Proof of the Paull-Unger Theorem.
Ronald E. Prather
Published in:
IEEE Trans. Computers (1971)
Keyphrases
</>
interactive theorem proving
theorem prover
theorem proving
von neumann
proof planning
artificial intelligence
database
image segmentation
relational databases