A Feature-Based Learning Method for Theorem Proving

AAAI 1998 pp. 457-462

/aaai/1998/fuchs1998aaai-feature/

Cite

Text

Fuchs. "A Feature-Based Learning Method for Theorem Proving." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Fuchs. "A Feature-Based Learning Method for Theorem Proving." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/fuchs1998aaai-feature/)

BibTeX

@inproceedings{fuchs1998aaai-feature,
  title     = {{A Feature-Based Learning Method for Theorem Proving}},
  author    = {Fuchs, Matthias},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {457-462},
  url       = {https://mlanthology.org/aaai/1998/fuchs1998aaai-feature/}
}