Sign in

Presenting Inequations in Mathematical Proofs.

Detlef FehrerHelmut Horacek
Published in: Inf. Sci. (1999)
Keyphrases
  • mathematical proofs
  • cognitive processes
  • theorem prover
  • natural language
  • expert systems
  • website
  • case study
  • bayesian networks
  • artificial neural networks