Jump to Content

An Overview of Automated Reasoning and Related Fields

L. Wos
Robert Hong
Robert S. Boyer
J Strother Moore
W. W. Bledsoe
L. J. Henschen
Bruce G. Buchanan
Graham Wrightson
Cordell Green
Journal of Automated Reasoning, vol. 1 (1985), pp. 5-48

Abstract

Research Areas