Login / Signup
Admissible term orderings used in computer algebra systems.
Heinz Kredel
Published in:
SIGSAM Bull. (1988)
Keyphrases
</>
computer algebra systems
computer algebra
theorem prover
theorem proving
state space
artificial intelligence