{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T18:46:37Z","timestamp":1761763597419},"reference-count":10,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Education"],"published-print":{"date-parts":[[1996,8]]},"DOI":"10.1016\/0360-1315(96)00016-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:04:40Z","timestamp":1027623880000},"page":"59-69","source":"Crossref","is-referenced-by-count":3,"title":["Computer tools to teach formal reasoning"],"prefix":"10.1016","volume":"27","author":[{"given":"P.","family":"Fung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"O'Shea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Goldson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Reeves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Bornat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0360-1315(96)00016-4_BIB1","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1080\/0020739930240516","article-title":"Computer science students' perceptions of learning formal reasoning methods","volume":"24","author":"Fung","year":"1993","journal-title":"Int. J. Math. Educ. Sci. Technol."},{"key":"10.1016\/0360-1315(96)00016-4_BIB2","article-title":"Learning to reason formally about programs","author":"Fung","year":"1993"},{"key":"10.1016\/0360-1315(96)00016-4_BIB3","series-title":"Developments in the Teaching of Computer Science Conference","first-page":"167","article-title":"Using programs to teach logic to computer scientists","author":"Goldson","year":"1992"},{"key":"10.1016\/0360-1315(96)00016-4_BIB4","series-title":"The Language of First Order Logic","author":"Barwise","year":"1990"},{"key":"10.1016\/0360-1315(96)00016-4_BIB5","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1093\/comjnl\/37.3.177","article-title":"A symbolic calculator for non-strict functional programs","volume":"37","author":"Goldson","year":"1994","journal-title":"Comp. J."},{"key":"10.1016\/0360-1315(96)00016-4_BIB6","unstructured":"Bornat R. and Sufrin B. JAPE: Just Another Proof Editor. Computer Science Department Technical Report, Queen Mary and Westfield College, University of London, in press."},{"key":"10.1016\/0360-1315(96)00016-4_BIB7","series-title":"Multimethod Research: A Synthesis of Styles","author":"Brewer","year":"1989"},{"key":"10.1016\/0360-1315(96)00016-4_BIB8","article-title":"Using software tools to learn formal reasoning: a first assessment","author":"Fung","year":"1994"},{"key":"10.1016\/0360-1315(96)00016-4_BIB9","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1111\/j.1365-2729.1994.tb00299.x","article-title":"Why computer science students find formal reasoning frightening","volume":"10","author":"Fung","year":"1994","journal-title":"J. Comp. Assist. Learn."},{"key":"10.1016\/0360-1315(96)00016-4_BIB10","article-title":"MiraCalc: the Miranda calculator, the UNIX version","author":"Goldson","year":"1994"}],"container-title":["Computers & Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0360131596000164?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0360131596000164?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T02:23:24Z","timestamp":1555986204000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0360131596000164"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,8]]}},"alternative-id":["0360131596000164"],"URL":"https:\/\/doi.org\/10.1016\/0360-1315(96)00016-4","relation":{},"ISSN":["0360-1315"],"issn-type":[{"value":"0360-1315","type":"print"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}