BibTeX record conf/aaai/Fuchs98

download as .bib file

@inproceedings{DBLP:conf/aaai/Fuchs98,
  author       = {Matthias Fuchs},
  editor       = {Jack Mostow and
                  Chuck Rich},
  title        = {A Feature-Based Learning Method for Theorem Proving},
  booktitle    = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
                  and Tenth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
  pages        = {457--462},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1998},
  url          = {http://www.aaai.org/Library/AAAI/1998/aaai98-065.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Fuchs98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics