{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:00Z","timestamp":1725488580062},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424871"},{"type":"electronic","value":"9783540446699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44669-9_1","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:32:26Z","timestamp":1186741946000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Towards Axiomatic Basis of Inductive Inference"],"prefix":"10.1007","author":[{"given":"J\u0101nis","family":"B\u0101rzdi\u0146\u0161","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u016bsi\u0146\u0161","family":"Freivalds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl H.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,2]]},"reference":[{"key":"1_CR1","series-title":"Lect Notes Comput Sci","first-page":"207","volume-title":"Learning with confidence","author":"J. B\u0101rzdi\u0146\u0161","year":"1996","unstructured":"J\u0101nis B\u0101rzdi\u0146\u0161, R\u016bsi\u0146\u0161 Freivalds and Carl H. Smith. Learning with confidence. \u201dLecture Notes in Computer Science\u201d, Springer, 1996, v.1046, p.207\u2013218."},{"key":"1_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-62685-9_23","volume-title":"Learning formulae from elementary facts","author":"J. B\u0101rzdi\u0146\u0161","year":"1997","unstructured":"J\u0101nis B\u0101rzdi\u0146\u0161, R\u016bsi\u0146\u0161 Freivalds and Carl H. Smith. Learning formulae from elementary facts. \u201dLecture Notes in Computer Science\u201d, Springer, 1997, v.1208, p.272\u2013285."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"J\u0101nis B\u0101rzdi\u0146\u0161, R\u016bsi\u0146\u0161 Freivalds and Carl H. Smith. A Logic of Discovery. \u201dLecture Notes in Artificial Intelligence\u201d, Springer, 1998, v.1532, p.401\u2013402.","DOI":"10.1007\/3-540-49292-5_41"},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BFb0019357","volume-title":"Inductive inference of recursive functions: Qualitative theory","author":"R. Freivalds","year":"1991","unstructured":"R\u016bsi\u0146\u0161 Freivalds. Inductive inference of recursive functions: Qualitative theory. Lecture Notes in Computer Science, 1991, v. 502, p. 77\u2013110."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"E. Mark Gold. Language identification in the limit. Information and Control, 1967, v. 10, p. 447\u2013474.","journal-title":"Information and Control"},{"key":"1_CR6","volume-title":"Grundlagen der Geometrie (Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen)","author":"D. Hilbert","year":"1879","unstructured":"David Hilbert. Grundlagen der Geometrie (Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen), Leipzig, Teubner, 1879."},{"key":"1_CR7","unstructured":"Stephen Cole Kleene. Introduction to Metamathematics. North-Holland, 1952."},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"661","DOI":"10.2307\/2274708","volume":"56","author":"D. N. Osherson","year":"1991","unstructured":"Daniel N. Osherson, Michael Stob, and Scott Weinstein. A universal inductive inference machine. Journal of Symbolic Logic, 1991, v. 56, No. 2, p.661\u2013672.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR9","unstructured":"Giuseppe Peano. Selected works of Giuseppe Peano, with a biographical sketch and bibliography by H. C. Kennedy, London, 1973."},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"29","DOI":"10.4064\/fm-16-1-29-47","volume":"16","author":"E. Zermelo","year":"1930","unstructured":"Ernst Zermelo. \u00dcber Grenzzahlen und Mengenbereiche. Fundamenta Mathematicae, 1930, v. 16, S. 29\u201347.","journal-title":"Fundamenta Mathematicae"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44669-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T22:12:54Z","timestamp":1556748774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44669-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424871","9783540446699"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44669-9_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}