Genetic Programming conference papers by Anders Eriksson
Peter Nordin and Anders Eriksson and Mats Nordahl.
Genetic Reasoning: Evolutionary Induction of Mathematical Proofs. In
Riccardo Poli and Peter Nordin and William B. Langdon and Terence C. Fogarty editors,
Genetic Programming, Proceedings of EuroGP'99, volume 1598, pages 221-231, Goteborg, Sweden, 1999. Springer-Verlag.
details