ML Anthology

Combining Induction Axioms by Machine

Christoph Walther
IJCAI 1993 pp. 95-101
/ijcai/1993/walther1993ijcai-combining/
PDF IJCAI Semantic Scholar

Cite

Text

Walther. "Combining Induction Axioms by Machine." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[Walther. "Combining Induction Axioms by Machine." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/walther1993ijcai-combining/)

BibTeX

@inproceedings{walther1993ijcai-combining,
  title     = {{Combining Induction Axioms by Machine}},
  author    = {Walther, Christoph},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {95-101},
  url       = {https://mlanthology.org/ijcai/1993/walther1993ijcai-combining/}
}