Martin Davis. Obvious Logical Inferences. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 530-531, William Kaufmann, 1981.
No reviews for this publication, yet.