E-Resolution: Extension of Resolution to Include the Equality Relation

Morris, James B.

doi:10.1007/978-3-642-81955-1_17

E-Resolution: Extension of Resolution to Include the Equality Relation

James B. Morris

IJCAI 1969 pp. 287-294

doi:10.1007/978-3-642-81955-1_17 /ijcai/1969/morris1969ijcai-e/

PDF Semantic Scholar

Cite

Text

Morris. "E-Resolution: Extension of Resolution to Include the Equality Relation." International Joint Conference on Artificial Intelligence, 1969. doi:10.1007/978-3-642-81955-1_17

Markdown

[Morris. "E-Resolution: Extension of Resolution to Include the Equality Relation." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/morris1969ijcai-e/) doi:10.1007/978-3-642-81955-1_17

BibTeX

@inproceedings{morris1969ijcai-e,
  title     = {{E-Resolution: Extension of Resolution to Include the Equality Relation}},
  author    = {Morris, James B.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1969},
  pages     = {287-294},
  doi       = {10.1007/978-3-642-81955-1_17},
  url       = {https://mlanthology.org/ijcai/1969/morris1969ijcai-e/}
}