Login / Signup

Computers, Justification, and Mathematical Knowledge.

Konstantine ArkoudasSelmer Bringsjord
Published in: Minds Mach. (2007)
Keyphrases
  • mathematical knowledge
  • computer software
  • theorem prover
  • theorem proving
  • computer technology
  • computer systems
  • student learning
  • expert systems
  • computer assisted
  • computer programs
  • proof planning