An overview of automated reasoning and related fields

L. Wos*, Fernando Pereira, Robert Hong, Robert S. Boyer, J. Strother Moore, W. W. Bledsoe, Lawrence Joseph Henschen, Bruce G. Buchanan, Graham Wrightson, Cordell Green

*Corresponding author for this work

Research output: Contribution to journal › Review article › peer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'An overview of automated reasoning and related fields'. Together they form a unique fingerprint.

Psychology

INIS

Pharmacology, Toxicology and Pharmaceutical Science

Nursing and Health Professions