ML Anthology

Mechanizing a Particularly Expressive Many Sorted Logic

Anthony G. Cohn
IJCAI 1979 pp. 162-164
/ijcai/1979/cohn1979ijcai-mechanizing/
Semantic Scholar

Cite

Text

Cohn. "Mechanizing a Particularly Expressive Many Sorted Logic." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Cohn. "Mechanizing a Particularly Expressive Many Sorted Logic." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/cohn1979ijcai-mechanizing/)

BibTeX

@inproceedings{cohn1979ijcai-mechanizing,
  title     = {{Mechanizing a Particularly Expressive Many Sorted Logic}},
  author    = {Cohn, Anthony G.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {162-164},
  url       = {https://mlanthology.org/ijcai/1979/cohn1979ijcai-mechanizing/}
}