Login / Signup
Computers, Justification, and Mathematical Knowledge.
Konstantine Arkoudas
Selmer 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