Automated Reasoning: Real Uses and Potential Uses

Larry Wos. Automated Reasoning: Real Uses and Potential Uses. In IJCAI. pages 867-876, 1983.

Abstract

Abstract is missing.