{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T16:54:49Z","timestamp":1697907289832},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1984,7,1]],"date-time":"1984-07-01T00:00:00Z","timestamp":457488000000},"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":[[1984,7]]},"DOI":"10.1007\/bf02267217","type":"journal-article","created":{"date-parts":[[2005,12,8]],"date-time":"2005-12-08T17:29:50Z","timestamp":1134062990000},"page":"145-156","source":"Crossref","is-referenced-by-count":4,"title":["Computation in the philosophy curriculum"],"prefix":"10.1007","volume":"18","author":[{"given":"Tryg A.","family":"Ager","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02267217_CR1","unstructured":"Ager, Tryg A. and James McDonald, \u201cTransportability of Computer-Assisted Instruction Programs and Curricula,\u201dProceedings of the Western Educational Computing conference, Anaheim CA, 1978."},{"key":"BF02267217_CR2","unstructured":"Ager, Tryg A., \u201cAPL Tutorials For Elementary Logic,\u201dProceedings of the Seventh Conference on Computers in the Undergraduate Curriculum, Binghamton NY, 1976."},{"key":"BF02267217_CR3","series-title":"Faculty Grants for the Improvement of Undergraduate Instruction, Publication Series","volume-title":"Computer-Based Instruction","author":"Tryg A. Ager","year":"1982","unstructured":"Ager, Tryg A., \u201cComputer-Based Tutorials in Symbolic Logic at SUNY-Binghamton,\u201d in P. R. Baumann, ed.,Computer-Based Instruction. Faculty Grants for the Improvement of Undergraduate Instruction, Publication Series, Vol. 1, Albany NY: The Research Foundation of the State University of New York, 1982."},{"key":"BF02267217_CR4","volume-title":"The Logic Book","author":"Merrie Bergmann","year":"1980","unstructured":"Bergmann, Merrie, James Moor and Jack Nelson,The Logic Book, New York: Random House, 1980."},{"key":"BF02267217_CR5","volume-title":"University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980","author":"Lee Blaine","year":"1981","unstructured":"Blaine, Lee, \u201cPrograms for Structured Proffs,\u201d in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980. Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981."},{"key":"BF02267217_CR6","unstructured":"Covey, Preston, \u201cComputer-Assisted Instruction in Philosophy,\u201d in Solveig Olsen, ed.,Computers and the Humanities, forthcoming."},{"key":"BF02267217_CR7","doi-asserted-by":"crossref","first-page":"277","DOI":"10.5840\/teachphil198143\/427","volume":"4","author":"Preston Covey","year":"1981","unstructured":"Covey, Preston, \u201cFormal Logic and Philosophical Analysis,\u201dTeaching Philosophy 4 (1981), pp. 277\u2013302.","journal-title":"Teaching Philosophy"},{"key":"BF02267217_CR8","doi-asserted-by":"crossref","first-page":"453","DOI":"10.5840\/teachphil19803432","volume":"3","author":"James Garson","year":"1980","unstructured":"Garson, James, and Paul Melloma, \u201cTeaching Logic with EMIL,\u201dTeaching Philosophy 3 (1980), pp. 453\u2013478.","journal-title":"Teaching Philosophy"},{"key":"BF02267217_CR9","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/BF00566999","volume":"4","author":"Adele Goldberg","year":"1972","unstructured":"Goldberg, Adele and Patrick Suppes, \u201cA Computer-Assisted Instruction Program for Exercises on Finding Axioms,\u201dEducational Studies in Mathematics, 4 (1972), pp. 429\u2013449.","journal-title":"Educational Studies in Mathematics"},{"key":"BF02267217_CR10","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF00411092","volume":"6","author":"Adele Goldberg","year":"1976","unstructured":"Goldberg, Adele and Patrick Suppes, \u201cComputer-Assisted Instruction in Elementary Logic at the University Level,\u201dEducational Studies in Mathematics, 6 (1976) pp. 447\u2013474.","journal-title":"Educational Studies in Mathematics"},{"key":"BF02267217_CR11","doi-asserted-by":"crossref","first-page":"560","DOI":"10.2307\/2184736","volume":"89","author":"Robert M. Gordon","year":"1980","unstructured":"Gordon, Robert M., \u201cFear,\u201dPhilosophical Review 89 (1980), pp. 560\u2013578.","journal-title":"Philosophical Review"},{"key":"BF02267217_CR12","volume-title":"University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980","author":"Robert Ladagga","year":"1981","unstructured":"Ladagga, Robert, Arvin Levine and Patrick Suppes, \u201cStudies of Student Preference for Computer-Assisted Instruction with Audio,\u201d in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981."},{"key":"BF02267217_CR13","volume-title":"ENIGMA: A Computer Assisted Logic Course","author":"Ronald Laymon","year":"1976","unstructured":"Laymon, Ronald and Thomas Lloyd,ENIGMA: A Computer Assisted Logic Course, Columbus OH: Collegiate Publishing, Inc., 1976."},{"key":"BF02267217_CR14","doi-asserted-by":"crossref","first-page":"15","DOI":"10.5840\/teachphil1977211","volume":"2","author":"Ronald Laymon","year":"1977","unstructured":"Laymon, Ronald and Thomas Lloyd, \u201cENIGMA,\u201dTeaching Philosophy, 2 (1977), pp. 15\u201328.","journal-title":"Teaching Philosophy"},{"key":"BF02267217_CR15","volume-title":"Home Based Education: Needs and Technological Opportunities","author":"E. Macken","year":"1976","unstructured":"Macken, E., R. van den Heuvel, P. Suppes, and T. Suppes,Home Based Education: Needs and Technological Opportunities, Washington DC: U.S. Department of Health, Education, and Welfare, National Institute of Education, 1976."},{"key":"BF02267217_CR16","volume-title":"University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980","author":"James McDonald","year":"1981","unstructured":"McDonald, James, \u201cThe EXCHECK CAI System,\u201d in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981."},{"key":"BF02267217_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5840\/teachphil19772113","volume":"2","author":"James Moor","year":"1977","unstructured":"Moor, James and Jack Nelson, \u201cBERTIE,\u201dTeaching Philosophy, 2 (1977), pp. 1\u20136.","journal-title":"Teaching Philosophy"},{"key":"BF02267217_CR18","unstructured":"Moor, James and Jack Nelson, \u201cBERTIE: An Interactive Program for Teaching Natural Deduction,\u201dProceedings of the Seventh Conference on Computers in the Undergraduate Curriculum, Binghamton NY, 1976."},{"key":"BF02267217_CR19","first-page":"803","volume-title":"Computers in Education","author":"R.L. Smith","year":"1975","unstructured":"Smith, R.L., W.H. Graves, L.H. Blaine, & V.G. Marinov, \u201cComputer-Assisted Axiomatic Mathematics: Informal Rigor.\u201d In O. Lecarme and R. Lewis, Eds.,Computers in Education (Amsterdam: North-Holland, 1975), pp. 803\u2013809."},{"key":"BF02267217_CR20","doi-asserted-by":"crossref","first-page":"187","DOI":"10.5951\/AT.12.3.0187","volume":"12","author":"Patrick Suppes","year":"1965","unstructured":"Suppes, Patrick and F. Binford, \u201cExperimental Teaching of Mathematical Logic in the Elementary School,\u201dThe Arithmetic Teacher, 12, (1965), pp. 187\u2013195.","journal-title":"The Arithmetic Teacher"},{"key":"BF02267217_CR21","volume-title":"University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980","author":"Patrick Suppes","year":"1981","unstructured":"Suppes, Patrick and John Sheehan, \u201cCAI Course in Axiomatic Set Theory,\u201d in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981."},{"key":"BF02267217_CR22","volume-title":"University-Level Computer Assisted Instruction at Stanford: 1968\u20131980","author":"Patrick Suppes","year":"1981","unstructured":"Suppes, Patrick and John Sheehan, \u201cCAI Course in Logic,\u201d in Patrick Suppes, ed.,University-Level Computer Assisted Instruction at Stanford: 1968\u20131980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981."},{"key":"BF02267217_CR23","volume-title":"Introduction to Logic","author":"Patrick Suppes","year":"1957","unstructured":"Suppes, Patrick,Introduction to Logic, New York: Van Nostrand Reinhold, 1957."},{"key":"BF02267217_CR24","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00121084","volume":"6","author":"Patrick Suppes","year":"1977","unstructured":"Suppes, Patrick, Robert Smith, and Marion Beard, \u201cUniversity-Level Computer-Assisted Instruction at Stanford: 1975,\u201dInstructional Science, 6 (1977), pp. 151\u2013185.","journal-title":"Instructional Science"}],"container-title":["Computers and the Humanities"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02267217.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02267217\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02267217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T20:39:30Z","timestamp":1683319170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02267217"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,7]]},"references-count":24,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1984,7]]}},"alternative-id":["BF02267217"],"URL":"https:\/\/doi.org\/10.1007\/bf02267217","relation":{},"ISSN":["0010-4817","1572-8412"],"issn-type":[{"value":"0010-4817","type":"print"},{"value":"1572-8412","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,7]]}}}