Generating Lemmas for Tableau-based Proof Search Using Genetic Programming

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

@InProceedings{fuchs:1999:GLTPSUGP,
}

Genetic Programming entries for Marc Fuchs Dirk Fuchs Matthias Fuchs

Citations