Login / Signup
The Specialization and Transformation of Constructive Existence Proofs.
Peter Madden
Published in:
IJCAI (1989)
Keyphrases
</>
theorem prover
data sets
theorem proving
equational theories