Analogical Reasoning Based on Higher-Order Unification

Cite

Text

Harao. "Analogical Reasoning Based on Higher-Order Unification." International Conference on Algorithmic Learning Theory, 1990.

Markdown

[Harao. "Analogical Reasoning Based on Higher-Order Unification." International Conference on Algorithmic Learning Theory, 1990.](https://mlanthology.org/alt/1990/harao1990alt-analogical/)

BibTeX

@inproceedings{harao1990alt-analogical,
  title     = {{Analogical Reasoning Based on Higher-Order Unification}},
  author    = {Harao, Masateru},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1990},
  pages     = {151-163},
  url       = {https://mlanthology.org/alt/1990/harao1990alt-analogical/}
}