{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:50:09Z","timestamp":1755838209098,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,9]],"date-time":"2011-03-09T00:00:00Z","timestamp":1299628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,3,9]]},"DOI":"10.1145\/1953163.1953246","type":"proceedings-article","created":{"date-parts":[[2011,3,15]],"date-time":"2011-03-15T16:37:50Z","timestamp":1300207070000},"page":"269-274","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Mathematical induction is a recursive technique"],"prefix":"10.1145","author":[{"given":"Robert L. Scot","family":"Drysdale","sequence":"first","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,3,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Upper Saddle River","author":"Anderson J.","year":"2004","unstructured":"J. Anderson . Discrete Mathematics with Combinatorics. Pearson\/Prentice Hall , Upper Saddle River , New Jersey , 2004 . J. Anderson. Discrete Mathematics with Combinatorics. Pearson\/Prentice Hall, Upper Saddle River, New Jersey, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"Discrete Mathematics. D. C","author":"Bogart K.","year":"1988","unstructured":"K. Bogart . Discrete Mathematics. D. C . Heath , Lexington, Massachusetts , 1988 . K. Bogart. Discrete Mathematics. D. C. Heath, Lexington, Massachusetts, 1988."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/102925"},{"key":"e_1_3_2_1_4_1","volume-title":"Discrete Mathematics","author":"Dossey J. A.","year":"2002","unstructured":"J. A. Dossey , A. D. Otto , L. E. Spence , and C. V. Eynden . Discrete Mathematics . Addison Wesley , Boston , 2002 . J. A. Dossey, A. D. Otto, L. E. Spence, and C. V. Eynden. Discrete Mathematics. Addison Wesley, Boston, 2002."},{"issue":"1","key":"e_1_3_2_1_5_1","first-page":"305","article-title":"Teaching mathematical induction i","volume":"5","author":"Dubinsky E.","year":"1986","unstructured":"E. Dubinsky . Teaching mathematical induction i . Journal of Mathematical Behavior , 5 ( 1 ): 305 -- 317 , 1986 . E. Dubinsky. Teaching mathematical induction i. Journal of Mathematical Behavior, 5(1):305--317, 1986.","journal-title":"Journal of Mathematical Behavior"},{"key":"e_1_3_2_1_6_1","first-page":"285","article-title":"Teaching mathematical induction ii","volume":"8","author":"Dubinsky E.","year":"1989","unstructured":"E. Dubinsky . Teaching mathematical induction ii . Journal of Mathematical Behavior , 8 : 285 -- 304 , 1989 . E. Dubinsky. Teaching mathematical induction ii. Journal of Mathematical Behavior, 8:285--304, 1989.","journal-title":"Journal of Mathematical Behavior"},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"55","article-title":"Reflective abstraction and mathematics education: The genetic decomposition of induction and compactness","volume":"5","author":"Dubinsky E.","year":"1986","unstructured":"E. Dubinsky and P. Lewin . Reflective abstraction and mathematics education: The genetic decomposition of induction and compactness . Journal of Mathematical Behavior , 5 ( 1 ): 55 -- 92 , 1986 . E. Dubinsky and P. Lewin. Reflective abstraction and mathematics education: The genetic decomposition of induction and compactness. Journal of Mathematical Behavior, 5(1):55--92, 1986.","journal-title":"Journal of Mathematical Behavior"},{"key":"e_1_3_2_1_8_1","volume-title":"Harcourt Brace Jovanovich","author":"Galovich S.","year":"1989","unstructured":"S. Galovich . Introduction to Mathematical Structures . Harcourt Brace Jovanovich , San Diego , 1989 . S. Galovich. Introduction to Mathematical Structures. Harcourt Brace Jovanovich, San Diego, 1989."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/40677"},{"key":"e_1_3_2_1_10_1","volume-title":"Mathematical Structures for Computer Science","author":"Gersting J. L.","year":"1999","unstructured":"J. L. Gersting . Mathematical Structures for Computer Science . W. H. Freeman and Company , New York , 1999 . J. L. Gersting. Mathematical Structures for Computer Science. W. H. Freeman and Company, New York, 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"Discrete Mathematics with Graph Theory. Pearson\/Prentice Hall","author":"Goodaire E. G.","year":"2006","unstructured":"E. G. Goodaire and M. M. Parmenter . Discrete Mathematics with Graph Theory. Pearson\/Prentice Hall , Upper Saddle River, NJ , 2006 . E. G. Goodaire and M. M. Parmenter. Discrete Mathematics with Graph Theory. Pearson\/Prentice Hall, Upper Saddle River, NJ, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/161182"},{"key":"e_1_3_2_1_13_1","volume-title":"Pearson\/Addison-Wesley","author":"Grimaldi R. P.","year":"2003","unstructured":"R. P. Grimaldi . Discrete and Combinatorial Mathematics: An Applied Introduction . Pearson\/Addison-Wesley , Boston , 2003 . R. P. Grimaldi. Discrete and Combinatorial Mathematics: An Applied Introduction. Pearson\/Addison-Wesley, Boston, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Discrete Mathematics for Computing","author":"Haggarty R.","year":"2002","unstructured":"R. Haggarty . Discrete Mathematics for Computing . Addison-Wesley , Harlow, England , 2002 . R. Haggarty. Discrete Mathematics for Computing. Addison-Wesley, Harlow, England, 2002."},{"key":"e_1_3_2_1_15_1","volume-title":"Jones and Bartlettl","author":"Hunter D.","year":"2009","unstructured":"D. Hunter . Essentials of Discrete Mathematics . Jones and Bartlettl , Sudbury, MA , 2009 . D. Hunter. Essentials of Discrete Mathematics. Jones and Bartlettl, Sudbury, MA, 2009."},{"key":"e_1_3_2_1_16_1","volume-title":"Discrete Mathematics. Pearson\/Prentice Hall","author":"Johnsonbaugh R.","year":"2005","unstructured":"R. Johnsonbaugh . Discrete Mathematics. Pearson\/Prentice Hall , Upper Saddle River, New Jersey , 2005 . R. Johnsonbaugh. Discrete Mathematics. Pearson\/Prentice Hall, Upper Saddle River, New Jersey, 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"Discrete Mathematical Structures. Pearson\/Prentice-Hall","author":"Kolman B.","year":"2009","unstructured":"B. Kolman , R. C. Busby , and S. C. Ross . Discrete Mathematical Structures. Pearson\/Prentice-Hall , Upper Saddle River, NJ , 2009 . B. Kolman, R. C. Busby, and S. C. Ross. Discrete Mathematical Structures. Pearson\/Prentice-Hall, Upper Saddle River, NJ, 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/862444"},{"key":"e_1_3_2_1_19_1","volume-title":"Houghton Mifflin","author":"Marcus M.","year":"1969","unstructured":"M. Marcus . A Survey of Finite Mathematics . Houghton Mifflin , Boston , 1969 . M. Marcus. A Survey of Finite Mathematics. Houghton Mifflin, Boston, 1969."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198502081.001.0001","volume-title":"Invitation to Discrete Mathematics","author":"Matousek J.","year":"1998","unstructured":"J. Matousek and J. Nesetril . Invitation to Discrete Mathematics . Clarendon Press , Oxford , 1998 . J. Matousek and J. Nesetril. Invitation to Discrete Mathematics. Clarendon Press, Oxford, 1998."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/993991"},{"key":"e_1_3_2_1_22_1","volume-title":"Discrete Mathematics for Computer Scientists","author":"Mott J. L.","year":"1983","unstructured":"J. L. Mott , A. Kandel , and T. P. Baker . Discrete Mathematics for Computer Scientists . Reston Publishing Company , Reston, Virginia , 1983 . J. L. Mott, A. Kandel, and T. P. Baker. Discrete Mathematics for Computer Scientists. Reston Publishing Company, Reston, Virginia, 1983."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/518004"},{"key":"e_1_3_2_1_24_1","volume-title":"McGraw-Hill","author":"Rosen K. H.","year":"1999","unstructured":"K. H. Rosen . Discrete Mathematics and its Applications . McGraw-Hill , Boston , 1999 . K. H. Rosen. Discrete Mathematics and its Applications. McGraw-Hill, Boston, 1999."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3457"},{"key":"e_1_3_2_1_26_1","volume-title":"Camelot","author":"Sahni S.","year":"1981","unstructured":"S. Sahni . Concepts in Discrete Mathematics . Camelot , Fridley, Minnesota , 1981 . S. Sahni. Concepts in Discrete Mathematics. Camelot, Fridley, Minnesota, 1981."},{"key":"e_1_3_2_1_27_1","volume-title":"St. Paul","author":"Shiflet A. B.","year":"1987","unstructured":"A. B. Shiflet . Discrete Mathematics for Computer Science. West Publishing Companyl , St. Paul , 1987 . A. B. Shiflet. Discrete Mathematics for Computer Science. West Publishing Companyl, St. Paul, 1987."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/578663"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1841197"}],"event":{"name":"SIGCSE '11: The 42nd ACM Technical Symposium on Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Dallas TX USA","acronym":"SIGCSE '11"},"container-title":["Proceedings of the 42nd ACM technical symposium on Computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1953163.1953246","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1953163.1953246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:16Z","timestamp":1750282876000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1953163.1953246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,9]]},"references-count":29,"alternative-id":["10.1145\/1953163.1953246","10.1145\/1953163"],"URL":"https:\/\/doi.org\/10.1145\/1953163.1953246","relation":{},"subject":[],"published":{"date-parts":[[2011,3,9]]},"assertion":[{"value":"2011-03-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}