ML Anthology

Proving Based on Similarity

Ken-etsu Fujita, Masateru Harao
ALT 1991 pp. 213-223
/alt/1991/fujita1991alt-proving/
Semantic Scholar

Cite

Text

Fujita and Harao. "Proving Based on Similarity." International Conference on Algorithmic Learning Theory, 1991.

Markdown

[Fujita and Harao. "Proving Based on Similarity." International Conference on Algorithmic Learning Theory, 1991.](https://mlanthology.org/alt/1991/fujita1991alt-proving/)

BibTeX

@inproceedings{fujita1991alt-proving,
  title     = {{Proving Based on Similarity}},
  author    = {Fujita, Ken-etsu and Harao, Masateru},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1991},
  pages     = {213-223},
  url       = {https://mlanthology.org/alt/1991/fujita1991alt-proving/}
}