Genetic Reasoning Evolving Proofs with Genetic Search
Created by W.Langdon from
gp-bibliography.bib Revision:1.8098
- @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