{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T04:26:32Z","timestamp":1774412792193,"version":"3.50.1"},"publisher-location":"New York, NY","reference-count":13,"publisher":"Springer US","isbn-type":[{"value":"9780387970196","type":"print"},{"value":"9781461396475","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-1-4613-9647-5_25","type":"book-chapter","created":{"date-parts":[[2011,12,27]],"date-time":"2011-12-27T03:00:25Z","timestamp":1324954825000},"page":"202-214","source":"Crossref","is-referenced-by-count":18,"title":["Logic and Computation in MATHPERT: An Expert System for Learning Mathematics"],"prefix":"10.1007","author":[{"given":"Michael J.","family":"Beeson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","first-page":"21","volume-title":"Foundations of Intelligent Tutoring Systems","author":"JR Anderson","year":"1988","unstructured":"Anderson, John R. [1988], The Expert Module, in: Poison, M. C, and Richardson, J. J. (eds.), Foundations of Intelligent Tutoring Systems ,pp. 21\u201354, Erlbaum, Hillsdale, N. J. (1988)."},{"key":"25_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics: Metamathematical Studies","author":"M Beeson","year":"1985","unstructured":"Beeson, M. [1985], Foundations of Constructive Mathematics: Metamathematical Studies ,Springer-Verlag, Berlin\/ Heidelberg\/ New York (1985)."},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0049-237X(09)70684-6","volume-title":"Logic, Methodology, and Philosophy of Science VII","author":"M Beeson","year":"1986","unstructured":"Beeson, M. [1986] Proving Programs and Programming Proofs, in: Marcus, Dorn, and Weingartner (eds.), Logic, Methodology, and Philosophy of Science VII ,pp. 51\u201382, North-Holland, Amsterdam (1986)."},{"key":"25_CR4","first-page":"191","volume-title":"The Universal Turing Machine: A Half-Century Survey","author":"M Beeson","year":"1988","unstructured":"Beeson, M. [1988] Computerizing Mathematics: Logic and Computation, in: Herken, R. (ed.), The Universal Turing Machine: A Half-Century Survey ,pp. 191\u2013226, Oxford University Press, Oxford\/ New York (1988)."},{"key":"25_CR5","volume-title":"Learning Mathematics with MATHPERT","author":"M Beeson","year":"1989","unstructured":"Beeson, M. [1989a], Learning Mathematics with MATHPERT, to appear."},{"key":"25_CR6","volume-title":"The Design of MATHPERT: An Expert System for Learning Mathematics","author":"M Beeson","year":"1989","unstructured":"Beeson, M. [1989b], The Design of MATHPERT: An Expert System for Learning Mathematics, to appear."},{"key":"25_CR7","volume-title":"Some Applications of Gentzen\u2019s Proof Theory in Automated Deduction","author":"M Beeson","year":"1989","unstructured":"Beeson, M. [1989c], Some Applications of Gentzen\u2019s Proof Theory in Automated Deduction, submitted to Journal of Automated Reasoning."},{"key":"25_CR8","volume-title":"The User Model in MATHPERT: An Expert System for Learning Mathematics","author":"M Beeson","year":"1989","unstructured":"Beeson, M. [1989d], The User Model in MATHPERT: An Expert System for Learning Mathematics, to appear in Proceedings of the Conference on Artificial Intelligence and Education, Amsterdam, May 1989."},{"key":"25_CR9","volume-title":"MATHPERT: An Expert System for Learning Mathematics","author":"M Beeson","year":"1989","unstructured":"Beeson, M. [1989e], MATHPERT: An Expert System for Learning Mathematics, in: Proceedings of the Conference on Technology in Collegiate Mathematics Education, Columbus, Ohio, November 1988 ,Addison-Wesley (to appear)."},{"key":"25_CR10","first-page":"79","volume-title":"An investigation of computer coaching for informal learning activities","author":"RR Burton","year":"1982","unstructured":"Burton, R. R., and Brown, J. S. [1982], An investigation of computer coaching for informal learning activities, in Sleeman and Brown [1982], pp. 79\u201398."},{"key":"25_CR11","volume-title":"Intelligent Tutoring Systems","year":"1982","unstructured":"Sleeman, D., and Brown, J. S. [1982], (eds.), Intelligent Tutoring Systems ,Academic Press, London\/ Orlando, Fla. (1982)."},{"key":"25_CR12","volume-title":"Artificial Intelligence and Tutoring Systems","author":"E Wenger","year":"1987","unstructured":"Wenger, E. [1987], Artificial Intelligence and Tutoring Systems ,Kaufmann, Los Altos, Calif. (1987)."},{"key":"25_CR13","volume-title":"Mathematica: A System for Doing Mathematics by Computer","author":"S Wolfram","year":"1988","unstructured":"Wolfram, S. [1988], Mathematica: A System for Doing Mathematics by Computer ,Addison-Wesley, Redwood City, Calif. (1988)."}],"container-title":["Computers and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-9647-5_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T09:10:20Z","timestamp":1619860220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-9647-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9780387970196","9781461396475"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-9647-5_25","relation":{},"subject":[],"published":{"date-parts":[[1989]]}}}