Login / Signup
Fast Computer Algebra.
Edmund A. Lamagna
Published in:
Computer (1982)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
theorem proving
machine learning
knowledge base
expert systems
temporal logic
semi supervised learning