Login / Signup
Computer Algebra in Norway.
Arne Hornæs
Published in:
European Conference on Computer Algebra (2) (1985)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
artificial intelligence
training data
natural language
theorem proving