{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,18]],"date-time":"2024-01-18T15:43:48Z","timestamp":1705592628025},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Hum"],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/bf00118603","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T09:24:22Z","timestamp":1099560262000},"page":"277-284","source":"Crossref","is-referenced-by-count":5,"title":["The use of CAI to enhance human interaction in the learning of deductive proof construction"],"prefix":"10.1007","volume":"22","author":[{"given":"Marvin J.","family":"Croy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF02267217","volume":"18","author":"T. Ager","year":"1984","unstructured":"Ager, T. Computation in the Philosophy Curriculum. Computers and the Humanities, 18 (1984), 145?56.","journal-title":"Computers and the Humanities"},{"key":"CR2","volume-title":"Introduction to Logic","author":"I. Copi","year":"1986","unstructured":"Copi, I. Introduction to Logic. Seventh edition. New York: Macmillan Publishing Company, 1986.","edition":"Seventh edition"},{"key":"CR3","volume-title":"Computer-Aided Instruction in the Humanities","author":"P. Covey","year":"1985","unstructured":"Covey, P. Computer-Assisted Instruction in Philosophy. In Computer-Aided Instruction in the Humanities. Ed. S. Olsen. New York: Modern Language Association, 1985."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1111\/j.1467-9973.1985.tb00180.x","volume":"16","author":"M. Croy","year":"1985","unstructured":"Croy, M. Ethical Concerns in Computer-Assisted Instruction. Metaphilosophy, 16 (1985), 338?49.","journal-title":"Metaphilosophy"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.5840\/teachphil19869461","volume":"9","author":"M. Croy","year":"1986","unstructured":"Croy, M. The Current Status of Computer-Assisted Instruction for Logic. Teaching Philosophy, 9 (1986), 333?50.","journal-title":"Teaching Philosophy"},{"key":"CR6","first-page":"51","volume":"6","author":"M. Croy","year":"1988","unstructured":"Croy, M. CAI and Rule Applications for Deductive Proof Construction. Collegiate Microcomputer, 6 (1988), 51?56.","journal-title":"Collegiate Microcomputer"},{"key":"CR7","volume-title":"Computer-Based Education Research Laboratory Report, E-9","author":"S. Dugdale","year":"1979","unstructured":"Dugdale, S. Using the Computer to Foster Creative Interaction Among Students. Computer-Based Education Research Laboratory Report, E-9. Urbana: University of Illinois, 1979."},{"key":"CR8","unstructured":"Ford, L. Anatomy of an ICAI System. In Trends in Computer-Assisted Education. Eds. R. Lewis and E. Tagg, pp. 22?31."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Goldstein, I. The Genetic Graph: A Representation for the Evolution of Procedural Knowledge. In Intelligent Tutoring Systems. Eds. D. Sleeman and J. Brown, pp. 51?77.","DOI":"10.1016\/S0020-7373(79)80005-X"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF00121274","volume":"7","author":"I. Larsen","year":"1978","unstructured":"Larsen, I., L. Markosian, and P. Suppes. Performance Models of Undergraduate Students on Computer-Assisted Instruction in Elementary Logic. Instructional Science, 7 (1978), 15?35.","journal-title":"Instructional Science"},{"key":"CR11","volume-title":"Trends in Computer-Assisted Education","year":"1987","unstructured":"Lewis, R. and E. Tagg, eds. Trends in Computer-Assisted Education. Boston: Blackwell Scientific Publications, 1987."},{"key":"CR12","unstructured":"Sleeman, D. Assessing Aspects of Competence in Basic Algebra. In Intelligent Tutoring Systems. Eds. D. Sleeman and J. Brown, pp. 185?99."},{"key":"CR13","volume-title":"Intelligent Tutoring Systems","year":"1982","unstructured":"Sleeman, D. and J. Brown, eds. Intelligent Tutoring Systems. New York: Academic Press, 1982."},{"key":"CR14","first-page":"194","volume-title":"Proceedings of the Association for the Development of Computer-Based Instructional Systems","author":"E. Steinberg","year":"1979","unstructured":"Steinberg, E. Learner Interaction in Computer-Assisted Instruction. In Proceedings of the Association for the Development of Computer-Based Instructional Systems. Bellingham, Washington: ADCIS, 1979, 194?202."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1080\/00220973.1980.11011775","volume":"49","author":"S. Tsai","year":"1980","unstructured":"Tsai, S. and N. Pohl. Computer-Assisted Instruction Augmented With Planned Teacher\/Student Contacts. Journal of Experimental Education, 49 (1980), 120?26.","journal-title":"Journal of Experimental Education"},{"key":"CR16","unstructured":"Williams, F. Logic Software for Critical Thinking. American Philosophical Association Newsletter on Teaching Philosophy, Spring-Summer (1985),9?10."}],"container-title":["Computers and the Humanities"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00118603.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00118603\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00118603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T19:50:17Z","timestamp":1585943417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00118603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988]]}},"alternative-id":["BF00118603"],"URL":"https:\/\/doi.org\/10.1007\/bf00118603","relation":{},"ISSN":["0010-4817","1572-8412"],"issn-type":[{"value":"0010-4817","type":"print"},{"value":"1572-8412","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}