Genetic Reasoning Evolving Proofs with Genetic. Nordin, P. & Banzhaf, W. In Koza, J., Deb, K., Dorigo, M., Fogel, D., Garzon, M., Iba, H., & Riolo, R., editors, Proceedings of the Second Intl. Conference on Genetic Programming, Standford 1997 (GP-97), pages 255 - 260, San Francisco, CA, USA, 1997. Morgan Kaufmann. bibtex @INPROCEEDINGS{nb1997grep,
author = {Nordin, P. and Banzhaf, W.},
title = {{Genetic Reasoning Evolving Proofs with Genetic}},
booktitle = {Proceedings of the Second Intl. Conference on Genetic Programming,
Standford 1997 (GP-97)},
year = {1997},
editor = {Koza, J.R. and Deb, K. and Dorigo, M. and Fogel, D.B. and Garzon,
M. and Iba, H. and Riolo, R.L.},
pages = {255 - 260},
address = {San Francisco, CA, USA},
publisher = {Morgan Kaufmann},
cites = {17},
file = {gen_reas.pdf:/Users/banzhaf/Documents/MyPublications/MyPublications_PDFCopies/gen_reas.pdf:PDF},
owner = {banzhaf},
timestamp = {2008.11.21}
}
Downloads: 0
{"_id":"ZHSi8YnXbSMMMuCLK","bibbaseid":"nordin-banzhaf-geneticreasoningevolvingproofswithgenetic-1997","downloads":0,"creationDate":"2016-10-19T17:40:18.167Z","title":"Genetic Reasoning Evolving Proofs with Genetic","author_short":["Nordin, P.","Banzhaf, W."],"year":1997,"bibtype":"inproceedings","biburl":"http://cse.msu.edu/~banzhafw/MyPublications_May_2023.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Nordin"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Banzhaf"],"firstnames":["W."],"suffixes":[]}],"title":"Genetic Reasoning Evolving Proofs with Genetic","booktitle":"Proceedings of the Second Intl. Conference on Genetic Programming, Standford 1997 (GP-97)","year":"1997","editor":[{"propositions":[],"lastnames":["Koza"],"firstnames":["J.R."],"suffixes":[]},{"propositions":[],"lastnames":["Deb"],"firstnames":["K."],"suffixes":[]},{"propositions":[],"lastnames":["Dorigo"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Fogel"],"firstnames":["D.B."],"suffixes":[]},{"propositions":[],"lastnames":["Garzon"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Iba"],"firstnames":["H."],"suffixes":[]},{"propositions":[],"lastnames":["Riolo"],"firstnames":["R.L."],"suffixes":[]}],"pages":"255 - 260","address":"San Francisco, CA, USA","publisher":"Morgan Kaufmann","cites":"17","file":"gen_reas.pdf:/Users/banzhaf/Documents/MyPublications/MyPublications_PDFCopies/gen_reas.pdf:PDF","owner":"banzhaf","timestamp":"2008.11.21","bibtex":"@INPROCEEDINGS{nb1997grep,\n author = {Nordin, P. and Banzhaf, W.},\n title = {{Genetic Reasoning Evolving Proofs with Genetic}},\n booktitle = {Proceedings of the Second Intl. Conference on Genetic Programming,\n\tStandford 1997 (GP-97)},\n year = {1997},\n editor = {Koza, J.R. and Deb, K. and Dorigo, M. and Fogel, D.B. and Garzon,\n\tM. and Iba, H. and Riolo, R.L.},\n pages = {255 - 260},\n address = {San Francisco, CA, USA},\n publisher = {Morgan Kaufmann},\n cites = {17},\n file = {gen_reas.pdf:/Users/banzhaf/Documents/MyPublications/MyPublications_PDFCopies/gen_reas.pdf:PDF},\n owner = {banzhaf},\n timestamp = {2008.11.21}\n}\n\n\n\n","author_short":["Nordin, P.","Banzhaf, W."],"editor_short":["Koza, J.","Deb, K.","Dorigo, M.","Fogel, D.","Garzon, M.","Iba, H.","Riolo, R."],"key":"nb1997grep","id":"nb1997grep","bibbaseid":"nordin-banzhaf-geneticreasoningevolvingproofswithgenetic-1997","role":"author","urls":{},"metadata":{"authorlinks":{"banzhaf, w":"https://cse.msu.edu/"}}},"search_terms":["genetic","reasoning","evolving","proofs","genetic","nordin","banzhaf"],"keywords":[],"authorIDs":["58068bc29b4560664a000054","5e0b176ea129adde0100006c","5e2375bbba9fb2de01000055","5e3147568cf138de01000045","5e58e13d7460ddf2010000b1","5jTByAaaGcPt3esRZ","BvwvqcW9QkZgMPpTp","JqqH7ehBWmWjDEsBL","M2mGWNRWmriSv2DTx","ZswCm4AmKmGPFtMpp","gfcjnDoZJsTWgQGK5","kGEBFxoeGoiKaG5SG","pnvdaJhJo5qhNLYkd","qs6qGxGutoKZySCt7"],"dataSources":["qZhzE8pEk5MYYZvpq","bd5vuZ6qqqh6M9YrS","A3Xbs9ZiiJ547iRXS","Ra4GDAiLPK4LL5NKh"]}