Login / Signup
On Coherence in Computer Algebra.
Andreas Weber
Published in:
DISCO (1993)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
computer algebra systems