{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:30:35Z","timestamp":1725492635982},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658993"},{"type":"electronic","value":"9783540488859"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48885-5_19","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:33:15Z","timestamp":1191936795000},"page":"221-231","source":"Crossref","is-referenced-by-count":2,"title":["Genetic Reasoning: Evolutionary Induction of Mathematical Proofs"],"prefix":"10.1007","author":[{"given":"Peter","family":"Nordin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Eriksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Nordahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055923","volume-title":"Genetic Programming-An Introduction","author":"W. Banzhaf","year":"1998","unstructured":"Banzhaf, W., Nordin, P., Keller R.E., Francone, F.D. (1998) Genetic Programming-An Introduction. Morgan Kauffmann, San Fransisco, and d-punkt, Heidelberg, Germany."},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/0004-3702(77)90012-1","volume":"9","author":"W. W. Bledsoe","year":"1977","unstructured":"Bledsoe W. W., (1977) Non-Resolution Theorem Proving, In Artificial Intelligence, Vol. 9, pp 2\u20133.","journal-title":"Artificial Intelligence"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/321864.321875","volume":"22","author":"R.S. Boyer","year":"1979","unstructured":"Boyer R.S., Moore J.S. (1979) Proving Teorems about LISP-Functions, In J.ACM, Vol. 22, pp 129\u2013144.","journal-title":"J.ACM"},{"key":"19_CR4","unstructured":"Boyer R.S., Yu Y. (1992) Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor, In Automated Deduction-CADE-11 Kapur D. (Ed), pp. 416\u2013430."},{"key":"19_CR5","first-page":"74","volume-title":"The Computer Modeling of Mathematical Reasoning","author":"A. Bundy","year":"1983","unstructured":"Bundy A., (1983) The Computer Modeling of Mathematical Reasoning, Academic Press, London, pp. 74\u201377."},{"key":"19_CR6","doi-asserted-by":"publisher","DOI":"10.1037\/11059-000","volume-title":"The principles of psychology","author":"W. James","year":"1890","unstructured":"James W. (1890) The principles of psychology Vol.1. Originally published: Henry Holt, New York 1890."},{"key":"19_CR7","volume-title":"Genetic Programming","author":"J. Koza","year":"1992","unstructured":"Koza, J. (1992) Genetic Programming, MIT Press, Cambridge, MA"},{"key":"19_CR8","volume-title":"Trends in Speech Recognition","author":"B.T. Lowerre","year":"1980","unstructured":"Lowerre, B.T., Reddy, R.D. (1980) The Harpy Speech Understanding System. In Trends in Speech Recognition. Lea, W.A. (Ed.) Englewood Cliffs, Prentice-Hall, New York."},{"key":"19_CR9","doi-asserted-by":"publisher","DOI":"10.2172\/10129052","volume-title":"Otter 3.0 Reference Manual and Guide","author":"W.W. McCune","year":"1994","unstructured":"McCune W.W. (1994) Otter 3.0 Reference Manual and Guide. Argonne National Laboratory, Argonne, USA."},{"key":"19_CR10","unstructured":"Newell, A., Shaw J.C., and Simon H. (1957) Empirical Explorations of the Logic Theorem Machine: A case study in Heuristic, in Proceedings of Western Joint Computer Conference Vol. 15."},{"key":"19_CR11","unstructured":"Nordin J.P., Banzhaf W. (1995a) Complexity Compression and Evolution, in Proceedings of Sixth International Conference of Genetic Algorithms, Pittsburgh, 995, L. Eshelman (ed.), Morgan Kaufmann, San Mateo, CA"},{"key":"19_CR12","volume-title":"Advances in Genetic Programming II","author":"J.P. Nordin","year":"1995","unstructured":"Nordin, J.P.,F. Francone, Banzhaf W. (1995b) Explicitly Defined Introns in Genetic Programming. In Advances in Genetic Programming II, (In press) Kim Kinnear, Peter Angeline (Eds.), MIT Press USA."},{"key":"19_CR13","unstructured":"Nordin, J.P., Banzhaf W.(1995c) Controlling an Autonomous Robot with Genetic Programming. In proceedings of: 1996 AAAI fall symposium on Genetic Programming, Cambridge, USA."},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson J.A., (1965) A Machine Oriented Logic Based on the Resolution Principle, In J.ACM, Vol. 12, No. 1, pp. 23\u201341.","journal-title":"J.ACM"},{"key":"19_CR15","volume-title":"Encyclopedia of Artificial Intelligence","author":"P. Rosenblom","year":"1987","unstructured":"Rosenblom, P. (1987) Best First Search. In Encyclopedia of Artificial Intelligence, Shapiro, S. (Ed) Vol. 2, Wiley, New York."},{"key":"19_CR16","unstructured":"Russel S., Norvig P. (1995) Artificial Intelligence: A modern approach. Prentice-Hall, Inc."},{"key":"19_CR17","first-page":"251","volume-title":"Proceedings of 8th international symposium Multiple-Valued Logic","author":"S. Winker","year":"1978","unstructured":"Winker S., Wos L., (1978) Automated Generation of Models and Counterexamples and its application to Open Questions in Ternary Boolean Algebra, In Proceedings of 8th international symposium Multiple-Valued Logic, Rosemont, Ill., IEEE and ACM, pp. 251\u2013256, New York"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48885-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T02:21:05Z","timestamp":1550974865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48885-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658993","9783540488859"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48885-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}