Results 241 to 250 of about 3,974,276 (303)

Computer Assisted Instruction

Science, 1973
In a CAI system for teachig elementary mathematical logic, in order to provide tutorial advice similar to the suggestions a human tutor might give, a theorem-prover is employed as a proof-analyzer to generate appropriate dialogue with students who need help with a proof.
  +5 more sources

Home - About - Disclaimer - Privacy