ML Anthology

A Mechanized Proof Procedure for Free Intensional Logics

Raymond D. Gumb
IJCAI 1977 pp. 567-568
/ijcai/1977/gumb1977ijcai-mechanized/
PDF Semantic Scholar

Cite

Text

Gumb. "A Mechanized Proof Procedure for Free Intensional Logics." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Gumb. "A Mechanized Proof Procedure for Free Intensional Logics." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/gumb1977ijcai-mechanized/)

BibTeX

@inproceedings{gumb1977ijcai-mechanized,
  title     = {{A Mechanized Proof Procedure for Free Intensional Logics}},
  author    = {Gumb, Raymond D.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {567-568},
  url       = {https://mlanthology.org/ijcai/1977/gumb1977ijcai-mechanized/}
}