Login / Signup

Towards Specifying Symbolic Computation.

Jacques CaretteWilliam M. Farmer
Published in: CICM (2019)
Keyphrases
  • imperative programs
  • automated deduction
  • general purpose
  • expert systems