Login / Signup

Computer Algebra and Neurodynamics.

Dongming WangBernd Schürmann
Published in: Physik und Informatik (1991)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers
  • artificial intelligence
  • natural language
  • semi supervised