Genetic Reasoning Evolving Proofs with Genetic Search

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@InProceedings{nordin:1997:grep,

• author = "Peter Nordin and Wolfgang Banzhaf",
• title = "Genetic Reasoning Evolving Proofs with Genetic Search",
• booktitle = "Genetic Programming 1997: Proceedings of the Second Annual Conference",
• editor = "John R. Koza and Kalyanmoy Deb and Marco Dorigo and David B. Fogel and Max Garzon and Hitoshi Iba and Rick L. Riolo",
• year = "1997",
• month = "13-16 " # jul,
• pages = "255--260",
• address = "Stanford University, CA, USA",
• publisher_address = "San Francisco, CA, USA",
• publisher = "Morgan Kaufmann",
• keywords = "genetic algorithms, genetic programming, Automated Reasoning, Theorem Proving",
• URL = "http://www.cs.mun.ca/~banzhaf/papers/gen_reas.pdf",
• URL = "http://citeseer.ist.psu.edu/cache/papers/cs/598/http:zSzzSzls11-www.informatik.uni-dortmund.dezSzpeoplezSzbanzhafzSzgen_reas.pdf/nordin96genetic.pdf",
• URL = "http://citeseer.ist.psu.edu/15019.html",
• size = "6 pages",
• notes = "GP-97",

}

Genetic Programming entries for Peter Nordin Wolfgang Banzhaf

Citations