DBLP Record 'journals/aicom/FuchsF98'

BibTeX

@article{DBLP:journals/aicom/FuchsF98,
  author    = {Marc Fuchs and
               Matthias Fuchs},
  title     = {Feature-Based Learning of Search-Guiding Heuristics for
               Theorem Proving},
  journal   = {AI Commun.},
  volume    = {11},
  number    = {3-4},
  year      = {1998},
  pages     = {175-189},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}