Sign in
A Proof of Beigel's Cardinality Conjecture.
Martin Kummer
Published in:
J. Symb. Log. (1992)
Keyphrases
</>
theorem prover
theorem proving
proof planning
cardinality constraints
geometry theorem proving
database
data structure
expert systems
integrity constraints
modal logic
formal proof