%0 Conference Paper %1 fuchs:1999:GLTPSUGP %A Fuchs, Marc %A Fuchs, Dirk %A Fuchs, Matthias %B Proceedings of the Genetic and Evolutionary Computation Conference %C Orlando, Florida, USA %D 1999 %E Banzhaf, Wolfgang %E Daida, Jason %E Eiben, Agoston E. %E Garzon, Max H. %E Honavar, Vasant %E Jakiela, Mark %E Smith, Robert E. %I Morgan Kaufmann %K algorithms, and evolvable genetic hardware programming %P 1027--1032 %T Generating Lemmas for Tableau-based Proof Search Using Genetic Programming %U http://www.cs.bham.ac.uk/~wbl/biblio/gecco1999/GP-400.ps %V 2 %@ 1-55860-611-4

@inproceedings{fuchs:1999:GLTPSUGP, added-at = {2008-06-19T17:35:00.000+0200}, address = {Orlando, Florida, USA}, author = {Fuchs, Marc and Fuchs, Dirk and Fuchs, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2f2b43f5c08fe81457be6a61d0925e510/brazovayeye}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference}, editor = {Banzhaf, Wolfgang and Daida, Jason and Eiben, Agoston E. and Garzon, Max H. and Honavar, Vasant and Jakiela, Mark and Smith, Robert E.}, interhash = {890d90365fbcca83c36be97e4d093633}, intrahash = {f2b43f5c08fe81457be6a61d0925e510}, isbn = {1-55860-611-4}, keywords = {algorithms, and evolvable genetic hardware programming}, month = {13-17 July}, notes = {GECCO-99 A joint meeting of the eighth international conference on genetic algorithms (ICGA-99) and the fourth annual genetic programming conference (GP-99)}, pages = {1027--1032}, publisher = {Morgan Kaufmann}, publisher_address = {San Francisco, CA 94104, USA}, timestamp = {2008-06-19T17:39:53.000+0200}, title = {Generating Lemmas for Tableau-based Proof Search Using Genetic Programming}, url = {http://www.cs.bham.ac.uk/~wbl/biblio/gecco1999/GP-400.ps}, volume = 2, year = 1999 }