Theorem Proving by Covering Expressions
Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 541-541.
Abstract
Lawrence J. Henschen, and W. M. Evangelist. 1977. Theorem Proving by Covering Expressions. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 541–541. https://ijcai.org/proceedings/1977/123
Henschen, L. J., & Evangelist, W. M. (1977). Theorem Proving by Covering Expressions. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 (pp. 541–541). IJCAI. https://ijcai.org/proceedings/1977/123
@inproceedings{ijcai1977p123,
title = {Theorem Proving by Covering Expressions},
author = {Henschen, Lawrence J. and Evangelist, W. M.},
booktitle = {Proceedings of the Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-77}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Raj Reddy},
pages = {541--541},
year = {1977},
note = {Theorem Proving},
url = {https://ijcai.org/proceedings/1977/123},
}
TY - CPAPER TI - Theorem Proving by Covering Expressions AU - Henschen, Lawrence J. AU - Evangelist, W. M. T2 - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 PB - International Joint Conferences on Artificial Intelligence PY - 1977 SP - 541 EP - 541 UR - https://ijcai.org/proceedings/1977/123 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
