Login / Signup
Avoiding Duplicate Proofs.
Bruce Spencer
Published in:
NACLP (1990)
Keyphrases
</>
theorem proving
search algorithm
multi agent systems
open source
theorem prover
formal proof
digital libraries
information technology
equational theories
mathematical proofs