Login / Signup
Use of Forth in a course in computer algebra.
John J. Wavrik
Published in:
FORTH (1991)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
machine learning
artificial intelligence
theorem proving
expert systems
training data
first order logic