Logic for problem-solving
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
First-order logic and automated theorem proving
First-order logic and automated theorem proving
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving theorems by pattern recognition I
Communications of the ACM
Hi-index | 0.00 |