![](/img/cover-not-exists.png)
[ACM Press the second annual ACM symposium - Northampton, Massachusetts, United States (1970.05.04-1970.05.06)] Proceedings of the second annual ACM symposium on Theory of computing - STOC '70 - The predicate elimination strategy in theorem proving
Reiter, RaymondYear:
1970
Language:
english
DOI:
10.1145/800161.805163
File:
PDF, 296 KB
english, 1970