8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings
Edited by
Siekmann J
CADE (1986) 230
N/ACitations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Cite
CITATION STYLE
APA
Siekmann, J. H. (Ed.). (1986). 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. In CADE (Vol. 230). Springer.
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.