Skip to main content
SpringerLink
Log in
Book cover

Artificial Intelligence in Higher Education pp 206–225Cite as

Uses of artificial intelligence in computer-based instruction

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 451))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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 

  • Suppes, P. (1960). Axiomatic Set Theory. New York: Van Nostrand. Slightly revised edition published by Dover, New York, 1972.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • Suppes, P. & Takahashi, S. (1989). An interactive calculus theorem-prover for continuity properties. Journal of Symbolic Computation, 7, 573–590.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford University, USA

    Patrick Suppes

Authors
  1. Patrick Suppes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimir Mařík Olga Štěpánková Zdeněk Zdráhal

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Suppes, P. (1990). Uses of artificial intelligence in computer-based instruction. In: Mařík, V., Štěpánková, O., Zdráhal, Z. (eds) Artificial Intelligence in Higher Education. Lecture Notes in Computer Science, vol 451. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52952-7_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-52952-7_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52952-1

  • Online ISBN: 978-3-540-47183-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation