{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:08:03Z","timestamp":1725458883840},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540564330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0030390","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:32:44Z","timestamp":1138203164000},"page":"132-140","source":"Crossref","is-referenced-by-count":1,"title":["Towards efficient inductive synthesis: Rapid construction of local regularities"],"prefix":"10.1007","author":[{"given":"J\u00e4nis","family":"B\u00e4rzdi\u0146\u0161","sequence":"first","affiliation":[]},{"given":"Guntis","family":"B\u00e4rzdi\u0146\u0161","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(91)90307-N","volume":"90","author":"J.M. Barzdin","year":"1991","unstructured":"J.M. Barzdin and G.J. Barzdins. Rapid construction of algebraic axioms from samples. Theoretical Computer Science, 90:199\u2013208, 1991.","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"G. Barzdins. ADT implementation and completion by induction from examples. In 7-th Workshop on Specification of ADT (Germany, April 1990), volume 534 of Lecture Notes in Computer Science, pages 1\u201310, 1901.","DOI":"10.1007\/3-540-54496-8_1"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"G. Barzdins. Inductive synthesis of term rewriting systems. In D.Bjorner and J.Barzdins, editors, Baltic Computer Science, volume 502 of Lecture Notes in Computer Science, pages 253\u2013285, 1991.","DOI":"10.1007\/BFb0019361"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"552","DOI":"10.5951\/MT.57.8.0552","volume":"57","author":"R. J. Gillings","year":"1964","unstructured":"R. J. Gillings. The volume of a truncated pyramid in ancient egyptian papyri. The Mathematics Teacher, 57:552\u2013555, 1964.","journal-title":"The Mathematics Teacher"},{"key":"5_CR5","volume-title":"An Introduction to the History of Mathematics","author":"E. Howard","year":"1961","unstructured":"E. Howard. An Introduction to the History of Mathematics. Holt: Reinhard and Winston, New York, 1961."},{"key":"5_CR6","volume-title":"Science Awakening","author":"B.L. Waerden","year":"1954","unstructured":"B.L. Waerden. Science Awakening. P. Noordhoff LTD-Groningen, Holland, 1954."}],"container-title":["Lecture Notes in Computer Science","Nonmonotonic and Inductive Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030390.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T04:15:50Z","timestamp":1627013750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030390"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540564330"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0030390","relation":{},"subject":[]}}