Advertisement

Uses of artificial intelligence in computer-based instruction

  • Patrick Suppes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 451)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chuaqui, R. & Suppes, P. (1989). An equational deductive system for the differential and integral calculus. (Technical Report No. 313). Stanford: Stanford University, Institute for Mathematical Studies in the Social Sciences.Google Scholar
  2. Suppes, P. (1960). Axiomatic Set Theory. New York: Van Nostrand. Slightly revised edition published by Dover, New York, 1972.Google Scholar
  3. Suppes, P., Ager, T., Berg, P., Chuaqui, R., Graham, W., Maas, R. & Takahashi, S. (1987). Applications of Computer Technology to Pre-College Calculus. (Technical Report No. 310). Stanford: Stanford University, Institute for Mathematical Studies in the Social Sciences.Google Scholar
  4. Suppes, P., Ager, T., Dooley, S., Graham, W., Maas, R., & Ravaglia, R. (1989). Applications of Computer Technology to Calculus Instruction. (NSF MDR-85-50596 Final Report). Stanford, Calif.: Stanford University, Institute for Mathematical Studies in the Social Sciences.Google Scholar
  5. Suppes, P., Laddaga, R. & Sanders, W.R. (1981). Testing intelligibility of computer-generated speech with elementary school children. In P. Suppes (Ed.), University-level computer-assisted instruction at Stanford: 1968–1980 (pp. 377–397). Stanford, Calif.: Stanford University, Institute for Mathematical Studies in the Social Sciences.Google Scholar
  6. Suppes, P. & Sheehan, J. (1981). CAI course in axiomatic set theory. In P. Suppes (Ed.) University level computer-assisted instruction at Stanford: 1968–1980 (pp. 3–80). Stanford, Calif.: Stanford University, Institute for Mathematical Studies in the Social Sciences.Google Scholar
  7. Suppes, P. & Takahashi, S. (1989). An interactive calculus theorem-prover for continuity properties. Journal of Symbolic Computation, 7, 573–590.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Patrick Suppes
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations