{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:39Z","timestamp":1725663339257},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517344"},{"type":"electronic","value":"9783540467984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51734-0_71","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:14:46Z","timestamp":1330204486000},"page":"317-327","source":"Crossref","is-referenced-by-count":0,"title":["Inductive synthesis of programs for symbolic sequences processing"],"prefix":"10.1007","author":[{"given":"N. A.","family":"Chuzhanova","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"issue":"3","key":"23_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"Angluin D. Inductive inference of formal languages from positive data, Inform.and Control,45,N 3 (1980), 117\u2013135.","journal-title":"Inform.and Control"},{"issue":"1","key":"23_CR2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/0022-0000(80)90041-0","volume":"21","author":"D. Angluin","year":"1980","unstructured":"Angluin D. Finding patterns common to set of strings, J. Comput. and Syst.Sci.,21, N 1 (1980), 46\u201362.","journal-title":"J. Comput. and Syst.Sci."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Shinohara T. Polynomial time inference of extended regular pattern languages, LNCS, N 147 (1983), 115\u2013127.","DOI":"10.1007\/3-540-11980-9_19"},{"key":"23_CR4","unstructured":"\u0412\u0435\u043b\u0431 \u0411\u0438\u0446\u043a\u0438\u0439 \u0418.\u0412. \u041c\u0435\u0442\u0430\u044f\u044d\u044b\u043a R-\u0433\u0440\u0435\u043c\u043c\u0430\u0442\u0438\u043a, \u041a\u0438\u0431\u0435\u0440\u043d\u0435\u0442\u0438\u043a\u0430, Ne 3 (1973),47\u201363."},{"key":"23_CR5","first-page":"3","volume":"101","author":"\u0412. \u0414. \u0414. \u0413\u0443\u0441\u0435\u0431","year":"1984","unstructured":"\u0413\u0443\u0441\u0435\u0431 \u0412.\u0414., \u041a\u043e\u0441\u0430\u0440\u0435\u0431 \u042e.\u0413., \u0422\u0438\u043c\u043e\u0444\u0435\u0435\u0432\u0430 \u041c.\u041a., \u0422\u0438\u0442\u043a\u043e\u0431\u0430 \u0422.\u041d., \u0427\u0443\u0436\u0430\u043d\u043e\u0432\u0430 \u041d.\u0410. \u041f\u0430\u043a\u0435\u0442 \u043f\u0443\u0438\u043a\u043b\u0430\u0434\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u044d\u0430 \u043f\u0440\u043e\u0438\u044d\u0432\u043e\u043b\u0431\u043d\u044b\u0445 \u0441\u0438\u043c\u0432\u043e\u043b\u0431\u043d\u044b\u0445 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u0431\u043d\u043e\u0441\u0442\u0435\u0439 \u044d\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u0431\u043d\u043e\u0439 \u0434\u043b\u0438\u044b (\u0421\u0418\u041c\u0412\u041e\u041b), \u0412\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u0431 \u2014 \u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b, \u0412\u044b\u043f.101 (1984), 3\u201321.","journal-title":"\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b"},{"key":"23_CR6","first-page":"1","volume":"123","author":"\u0412. \u0414. \u0414. \u0413\u0443\u0441\u0435\u0432","year":"1987","unstructured":"\u0413\u0443\u0441\u0435\u0432 \u0412.\u0414., \u041a\u0443\u043b\u0438\u0431\u043a\u043e\u0432 \u0412.\u0410., \u0411\u0443\u0436\u0430\u043d\u043e\u0432\u0430 \u041d.\u0410. \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0432 \u044d\u043d\u0430\u043a\u043e\u0432 \u043f\u0443\u043d\u043a\u0442\u0443\u0430\u0446\u0438\u0438 \u0432 \u0433\u0435\u043d\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u0435\u043a\u0441\u0442\u0430\u0445, \u0412\u044b\u0431\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u0431\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b, \u0432\u044b\u043f. 123 (1987), 1\u201324.","journal-title":"\u0412\u044b\u0431\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u0431\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b"},{"key":"23_CR7","unstructured":"\u041a\u0435\u043d\u0434\u044d\u043b \u041c. \u0420\u0430\u043d\u0433\u043e\u0432\u044b\u0435 \u043a\u043e\u0440\u0440\u0435\u043b\u0440\u0446\u0438\u0438. \u2014 \u041c.: \u0421\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u043a\u0430, 1975."},{"key":"23_CR8","first-page":"32","volume":"102","author":"\u041d. \u0410. \u0410. \u0411\u0443\u0436\u0430\u043d\u043e\u0432\u0430","year":"1984","unstructured":"\u0411\u0443\u0436\u0430\u043d\u043e\u0432\u0430 \u041d.\u0410. \u0413\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0431\u0435\u0441\u043a\u0438\u0439 \u043c\u0435\u0442\u043e\u0434 \u0441\u0438\u043d\u0442\u0435\u044d\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c, \u0412\u044b\u0431\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u0431 \u2014 \u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b, \u0432\u044b\u043f.102 (1984), 32\u201342.","journal-title":"\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b"},{"key":"23_CR9","first-page":"50","volume":"123","author":"\u041d. \u0410. \u0410. \u0411\u0443\u0436\u0430\u043d\u043e\u0432\u0430","year":"1987","unstructured":"\u0411\u0443\u0436\u0430\u043d\u043e\u0432\u0430 \u041d.\u0410. \u041e \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0431\u0435\u0441\u043a\u043e\u043c \u043c\u0435\u0442\u043e\u0434\u0435 \u0441\u0438\u043d\u0442\u0435\u044d\u0430 \u0433\u0440\u0430\u0444\u0438\u0431\u0435\u0441\u043a\u0438\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c, \u0412\u044b\u0431\u0438\u0441\u043b\u043d\u0442\u0435\u043b\u0431\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b, \u0432\u044b\u043f.123 (1987), 50\u201360.","journal-title":"\u0412\u044b\u0431\u0438\u0441\u043b\u043d\u0442\u0435\u043b\u0431\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b"}],"container-title":["Lecture Notes in Computer Science","Analogical and Inductive Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51734-0_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:43Z","timestamp":1605648163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51734-0_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517344","9783540467984"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-51734-0_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}