J. Strother Moore

1947

• A Computational Logic Handbook
• Computer-aided reasoning
• Piton