{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:29:49Z","timestamp":1725791389352},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060880"},{"type":"electronic","value":"9783319060897"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06089-7_1","type":"book-chapter","created":{"date-parts":[[2014,3,31]],"date-time":"2014-03-31T21:55:10Z","timestamp":1396302910000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A Roadmap for TAMC"],"prefix":"10.1007","author":[{"given":"T V","family":"Gopal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manindra","family":"Agrawal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angsheng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Barry","family":"Cooper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/S1071-5819(02)00139-8","volume":"58","author":"A.R. Korukonda","year":"2003","unstructured":"Korukonda, A.R.: Taking stock of Turing test: a review, analysis, and appraisal of issues surrounding thinking machines. International Journal Human-Computer Studies\u00a058, 240\u2013257 (2003)","journal-title":"International Journal Human-Computer Studies"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"3273","DOI":"10.1098\/rsta.2012.0221","volume":"370","author":"S. Barry Cooper","year":"2012","unstructured":"Barry Cooper, S., Abramsky, S.: The foundations of computation, physics and mentality: the Turing legacy, Preface. Philosophical Transactions of the Royal Society, A\u00a0370, 3273\u20133276 (2012)","journal-title":"Philosophical Transactions of the Royal Society, A"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1016\/j.shpsa.2011.09.004","volume":"42","author":"D. Abramson","year":"2011","unstructured":"Abramson, D.: Descartes\u2019 influence on Turing. Studies in History and Philosophy of Science\u00a042, 544\u2013551 (2011)","journal-title":"Studies in History and Philosophy of Science"},{"key":"1_CR4","unstructured":"Schneider, D.F.: Software Construction: Building a Process Model. Stratus Engineering, Texas (1997)"},{"key":"1_CR5","unstructured":"Elliott Bell, D., LaPadula, L.J.: Secure Computer Systems: Mathematical Foundations, MITRE Technical Report 2547, I (1973)"},{"key":"1_CR6","unstructured":"Eberbach, E., Goldin, D., Wegner, P.: Turing\u2019s Ideas and Models of Computation"},{"key":"1_CR7","unstructured":"Savage, J.E.: Models of Computation - Exploring the Power of Computing, Creative Commons License (2008)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31982-5_2","volume-title":"Foundations of Software Science and Computational Structures","author":"M.P. Fiore","year":"2005","unstructured":"Fiore, M.P.: Mathematical Models of Computational and Combinatorial Structures. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 25\u201346. Springer, Heidelberg (2005)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Goldreich, O., Wigderson, A.: Theory of Computation: A Scientific Perspective (1996)","DOI":"10.1145\/242224.242503"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Valdes-Perez, R.E.: A Scientific Basis for Computational Science, CMU-CS-93-162 (1993)","DOI":"10.21236\/ADA266697"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF03025291","volume":"20","author":"S. Smale","year":"1998","unstructured":"Smale, S.: Mathematical Problems for the Next Century. Mathematical Intelligencer\u00a020(2), 7\u201315 (1998)","journal-title":"Mathematical Intelligencer"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06089-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T23:14:56Z","timestamp":1565306096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06089-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060880","9783319060897"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06089-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}