{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:16:26Z","timestamp":1725646586820},"publisher-location":"New York, NY","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387970196"},{"type":"electronic","value":"9781461396475"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-1-4613-9647-5_26","type":"book-chapter","created":{"date-parts":[[2011,12,27]],"date-time":"2011-12-27T03:00:25Z","timestamp":1324954825000},"page":"215-227","source":"Crossref","is-referenced-by-count":5,"title":["Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring"],"prefix":"10.1007","author":[{"given":"Tryg A.","family":"Ager","sequence":"first","affiliation":[]},{"given":"R. A.","family":"Ravaglia","sequence":"additional","affiliation":[]},{"given":"Sam","family":"Dooley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"An Equational Deductive System,for the Differential and Integral Calculus","author":"R Chuaqui","year":"1989","unstructured":"R. Chuaqui, and P. Suppes. An Equational Deductive System, for the Differential and Integral Calculus. To appear in the Proceedings of Colog 88, Journal of Symbolic Computation, 1989."},{"key":"26_CR2","volume-title":"Computer Algebra: Systems and Algorithms for Algebraic Compulation","author":"JH Davenport","year":"1988","unstructured":"J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra: Systems and Algorithms for Algebraic Compulation. Academic Press, London, 1988."},{"key":"26_CR3","volume-title":"The Use of Domain Restrictions in Computer Algebra Systems","author":"S Dooley","year":"1988","unstructured":"S. Dooley. The Use of Domain Restrictions in Computer Algebra Systems. Master\u2019s thesis, University of California, Berkeley, California, M December 1988."},{"key":"26_CR4","volume-title":"On the systematic construction of algebraic manipulation systems","author":"RJ Fateman","year":"1987","unstructured":"R. J. Fateman. On the systematic construction of algebraic manipulation systems. Draft of 24 September 1987. Submitted to the Journal for Symbolic Computation."},{"key":"26_CR5","first-page":"511","volume":"33","author":"D Richardson","year":"1968","unstructured":"D. Richardson. Some unsolvable problems involving elementary functions of a real variable. Journal of Symbolic Logic ,33:511\u2013520, 1968.","journal-title":"Journal of Symbolic Logic"},{"key":"26_CR6","volume-title":"Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations","author":"EP Sacks","year":"1988","unstructured":"E. P. Sacks. Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations. PhD thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, February 1988."},{"volume-title":"Calculus for a new century: a pump,not a filter. Notes of the Mathematical Association of America","year":"1988","key":"26_CR7","unstructured":"L. A. Steen (Ed.). Calculus for a new century: a pump, not a filter. Notes of the Mathematical Association of America ,8, 1988."},{"key":"26_CR8","volume-title":"Applications of Computer Technology to Pre-College Calculus: First Annual Report","author":"P Suppes","year":"1987","unstructured":"P. Suppes, T. A. Ager, P. Berg, R. Chuaqui, W. Graham, R., E. Maas, and S. Takahashi. Applications of Computer Technology to Pre-College Calculus: First Annual Report. Technical Report 310, Institute for Mathematical Studies in the Social Sciences, Stanford University, April 1987."}],"container-title":["Computers and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-9647-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T09:10:21Z","timestamp":1619860221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-9647-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9780387970196","9781461396475"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-9647-5_26","relation":{},"subject":[],"published":{"date-parts":[[1989]]}}}