{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:16Z","timestamp":1750307536899,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,28]],"date-time":"2008-03-28T00:00:00Z","timestamp":1206662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-0454211"],"award-info":[{"award-number":["CNS-0454211"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,28]]},"DOI":"10.1145\/1593105.1593221","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T13:29:27Z","timestamp":1249997367000},"page":"440-445","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Induction as a tool for conceptual coherence in computer science"],"prefix":"10.1145","author":[{"given":"Irene","family":"Polycarpou","sequence":"first","affiliation":[{"name":"Florida International University, University Park, Miami, FL"}]}],"member":"320","published-online":{"date-parts":[[2008,3,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"93","volume-title":"B. Ward, T. Ward, &amp","author":"Barwise J.","year":"1998"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Ben-Ari M. (2001). Mathematical Logic for Computer Science (2nd ed.). London U.K.: Springer-Verlag.   Ben-Ari M. (2001). Mathematical Logic for Computer Science (2 nd ed.). London U.K.: Springer-Verlag.","DOI":"10.1007\/978-1-4471-0335-6"},{"volume-title":"Essex, England: Pearson Education Limited.","year":"2001","author":"Bratko I.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903918"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249016"},{"key":"e_1_3_2_1_6_1","unstructured":"Burris S. (1998). Logic for Mathematics and Computer Science. Upper Saddle River NJ: Prentice Hall.  Burris S. (1998). Logic for Mathematics and Computer Science . Upper Saddle River NJ: Prentice Hall."},{"key":"e_1_3_2_1_7_1","unstructured":"Cormen T. Leiserson C. Rivest R. & Stein C. Introduction to algorithms (2nd ed.). Cambridge Massachusetts London England: The MIT press.   Cormen T. Leiserson C. Rivest R. & Stein C. Introduction to algorithms (2 nd ed.). Cambridge Massachusetts London England: The MIT press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Enderton H. (2001). A Mathematical Introduction to Logic. Burlington MA: Harcourt Academic press.  Enderton H. (2001). A Mathematical Introduction to Logic . Burlington MA: Harcourt Academic press.","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"e_1_3_2_1_9_1","unstructured":"Gallier H. J. (2003). Logic For Computer Science. Foundations of Automatic Theorem <u>Proving<\/u>. John Wiley & Sons Inc.   Gallier H. J. (2003). Logic For Computer Science. Foundations of Automatic Theorem <u>Proving<\/u>. John Wiley & Sons Inc."},{"volume-title":"Proceedings of Second International Natural Language Generation Conference, 167--172","year":"2002","author":"Holland-Minkley A.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"Hopcroft J. Motwani R. & Ullman J. (2001). Introduction to automata theory (3rd ed.). Boston MA: Addison-Wesley.   Hopcroft J. Motwani R. & Ullman J. (2001). Introduction to automata theory (3 rd ed.). Boston MA: Addison-Wesley."},{"key":"e_1_3_2_1_12_1","unstructured":"Huth M. & Ryan M. (2000). Logic In Computer Science: modeling and reasoning about systems. Cambridge UK: University Press.   Huth M. & Ryan M. (2000). Logic In Computer Science: modeling and reasoning about systems . Cambridge UK: University Press."},{"volume-title":"Proceedings of the 2004 American Society for Engineering Education Annual Conference & Exposition, session number: 1465","year":"2004","author":"Kaplan M. K.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1080\/0899340930040204"},{"key":"e_1_3_2_1_15_1","unstructured":"Lewis J. & Loftus W. (2005). Java: Software Solutions foundations of program design (4th ed.). USA: Pearson Education Inc.   Lewis J. & Loftus W. (2005). Java: Software Solutions foundations of program design (4 th ed.). USA: Pearson Education Inc."},{"key":"e_1_3_2_1_16_1","unstructured":"Linz P. (2001). An Introduction to Formal Languages and Automata (3rd ed.). Sudbury Massachusetts: Jones and Bartlett Publishers Inc.   Linz P. (2001). An Introduction to Formal Languages and Automata (3 rd ed.). Sudbury Massachusetts: Jones and Bartlett Publishers Inc."},{"key":"e_1_3_2_1_17_1","unstructured":"Lynch N. (1996). Distributed Algorithms. San Francisco CA: Morgan Kaufmann Publishers Inc.   Lynch N. (1996). Distributed Algorithms . San Francisco CA: Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_18_1","unstructured":"Mendelson E. (1997). Introduction to Mathematical Logic. Great Britain: Chapman & Hall.   Mendelson E. (1997). Introduction to Mathematical Logic . Great Britain: Chapman & Hall."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944713"},{"key":"e_1_3_2_1_20_1","unstructured":"Pierce C. B. (2002). Types and Programming Languages. Cambridge Massachusetts London England: The MIT press.   Pierce C. B. (2002). Types and Programming Languages . Cambridge Massachusetts London England: The MIT press."},{"volume-title":"Proceedings of the Third International Conference in Teaching Mathematics","year":"2006","author":"Polycarpou I.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"Reeves S. & Clarke M. (reprinted in 2003). Logic For Computer Science. England: Wokingham; Reading MA: Addison-Wesley.  Reeves S. & Clarke M. (reprinted in 2003). Logic For Computer Science . England: Wokingham; Reading MA: Addison-Wesley."},{"key":"e_1_3_2_1_23_1","unstructured":"Schöning U. (1989). Logic for Computer Science. Boston MA: Birkhäuser.  Schöning U. (1989). Logic for Computer Science . Boston MA: Birkhäuser."},{"key":"e_1_3_2_1_24_1","unstructured":"Sipser M. (1997). Introduction on the Theory of Computation. Boston MA: PWS Publishing Company.   Sipser M. (1997). Introduction on the Theory of Computation . Boston MA: PWS Publishing Company."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"474","DOI":"10.5951\/MT.89.6.0474","article-title":"Learning and Teaching Indirect Proof","volume":"89","author":"Thompson D.","year":"1996","journal-title":"The Mathematics Teacher"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.246876"},{"key":"e_1_3_2_1_27_1","unstructured":"Weiss M. (2006). Data Structures & Problem Solving Using Java. Boston MA: Pearson Education Inc.   Weiss M. (2006). Data Structures & Problem Solving Using Java . Boston MA: Pearson Education Inc."},{"volume-title":"Proceedings of the Information Systems Education Conference (ISECON)","year":"2001","author":"Yurcik W.","key":"e_1_3_2_1_28_1"}],"event":{"name":"ACM SE08: ACM Southeast Regional Conference","acronym":"ACM SE08","location":"Auburn Alabama"},"container-title":["Proceedings of the 46th Annual Southeast Regional Conference on XX"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1593105.1593221","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1593105.1593221","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:19Z","timestamp":1750249399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1593105.1593221"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,28]]},"references-count":28,"alternative-id":["10.1145\/1593105.1593221","10.1145\/1593105"],"URL":"https:\/\/doi.org\/10.1145\/1593105.1593221","relation":{},"subject":[],"published":{"date-parts":[[2008,3,28]]},"assertion":[{"value":"2008-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}