search author

DBLP BibTeX Record 'books/daglib/0097891'

@book{DBLP:books/daglib/0097891,
  author    = {Christoph Goller},
  title     = {A connectionist approach for learning search-control heuristics
               for automated deduction systems},
  publisher = {Infix},
  series    = {DISKI},
  volume    = {206},
  year      = {1999},
  isbn      = {978-3-89601-206-7},
  pages     = {I-XIII, 1-136},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}