Proving theorems by pattern recognition I

“Dynamic” inferencing with generalized resolution

SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

A Semi-Decision Procedure for the Functional Calculus

Journal of the ACM (JACM)

Theorem-Proving on the Computer

Journal of the ACM (JACM)

A Computer Program for a Solvable Case of the Decision Problem

Journal of the ACM (JACM)

Fact Retrieval and Deductive Question-Answering Information Retrieval Systems

Journal of the ACM (JACM)

Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus

Journal of the ACM (JACM)

Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science

Communications of the ACM

Mechanical languages: a course specification

Communications of the ACM

The Automation of Proof: A Historical and Sociological Exploration

IEEE Annals of the History of Computing

Little Engines of Proof

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Early History and Perspectives of Automated Deduction

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence

Strictness analysis algorithms based on an inequality system for lazy types

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming

Occlusion tiling

Proceedings of Graphics Interface 2011