{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:48:51Z","timestamp":1725767331799},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781489917140"},{"type":"electronic","value":"9780387348445"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-0-387-34844-5_45","type":"book-chapter","created":{"date-parts":[[2013,12,29]],"date-time":"2013-12-29T21:46:32Z","timestamp":1388353592000},"page":"467-477","source":"Crossref","is-referenced-by-count":4,"title":["Logic in first courses for computer science majors"],"prefix":"10.1007","author":[{"given":"Juris","family":"Reinfelds","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"45_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/362929.362976","volume":"11","author":"ACM Curriculum Committee","year":"1968","unstructured":"ACM Curriculum Committee (1968) Curriculum 68. Comm. ACM 11(3) pp. 151\u2013197.","journal-title":"Comm. ACM"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"Austing, R. (ed.) 1979) Curriculum 78. Comm. ACM, 22, (3) pp. 147-166.","DOI":"10.1145\/359080.359083"},{"key":"45_CR3","unstructured":"ACM\/IEEE-CS Curriculum Task Force (1991) Computing Curricula 1991. IEEE Comp. Soc. Press."},{"issue":"1","key":"45_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S0956796800000605","volume":"3","author":"R Harrison","year":"1993","unstructured":"Harrison R. (1993) The Use of Functional Languages in Teaching of Computer Science. Journal of Functional Programming 3(1) pp. 67\u201375.","journal-title":"Journal of Functional Programming"},{"issue":"1","key":"45_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0956796800000599","volume":"3","author":"S Joosten","year":"1993","unstructured":"Joosten, S., van den Berg, K. and van der Hoeven, G. (1993) Teaching Functional Programming to First-Year Students. Journal of Functional Programming 3(1) pp. 49\u201365.","journal-title":"Journal of Functional Programming"},{"issue":"1","key":"45_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S0956796800000575","volume":"3","author":"T Lambert","year":"1993","unstructured":"Lambert, T., Lindsay, P. and Robinson, K., (1993) Using Miranda as a First Programming Language. Journal of Functional Programming 3(1) pp. 5\u201334.","journal-title":"Journal of Functional Programming"},{"key":"45_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97005-4","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1987","unstructured":"Clocksin, W. F. and Mellish, C. S. (1987) Programming in Prolog. Third Edn., Springer Verlag, New York.","edition":"3"},{"key":"45_CR8","unstructured":"Hill, P. M. and Lloyd, J. W. (1994) The Goedel Programming Language. MIT Press."},{"key":"45_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A Logical Approach to Discrete Math","author":"D Gries","year":"1993","unstructured":"Gries, D. and Schneider, F. B., (1993) A Logical Approach to Discrete Math. Springer Verlag, New York."},{"key":"45_CR10","unstructured":"Wirth, N. (1976) Algorithms + Data Structures = Programs. Prentice Hall."},{"key":"45_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2710-6","volume-title":"What Computing is All About","author":"JLA Snepscheut van de","year":"1993","unstructured":"van de Snepscheut, J. L. A. (1993) What Computing is All About. Springer Verlag, New York."},{"key":"45_CR12","unstructured":"Reinfelds, J. (1994) Curriculum Design for a Three Paradigm First Course. NMSU Computer Science Department Technical Report, NMSU-CSTR-9412."}],"container-title":["World Conference on Computers in Education VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34844-5_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:44:15Z","timestamp":1557945855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34844-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9781489917140","9780387348445"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34844-5_45","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}