A Computer Environment for Writing Ordinary Mathematical Proofs
暂无分享,去创建一个
[1] Patrick Suppes,et al. Successful pedagogical applications of symbolic computation , 1998, Computer-Human Interaction in Symbolic Computation.
[2] Dave Barker-Plummer,et al. Language, Proof and Logic , 1999 .
[3] Patrick Suppes,et al. University-level computer-assisted instruction at Stanford: 1975 , 1977 .
[4] William McCune,et al. OTTER 3.0 Reference Manual and Guide , 1994 .
[5] Patrick Suppes,et al. An equational deductive system for the differential and integral calculus , 1988, Conference on Computer Logic.
[6] P. Suppes,et al. Computer Assisted Instruction at Stanford , 1971 .
[7] Patrick Suppes,et al. An Interactive Calculus Theorem-Prover for Continuity Properties , 1989, J. Symb. Comput..
[8] Wilfried Sieg,et al. Normal Natural Deduction Proofs (in classical logic) , 1998, Stud Logica.