Login / Signup

A new REDUCE model for algebraic simplification.

Anthony C. Hearn
Published in: SYMSACC (1976)
Keyphrases