![](/img/cover-not-exists.png)
[ACM Press the tenth annual ACM symposium - San Diego, California, United States (1978.05.01-1978.05.03)] Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 - Anomaly hierarchies of mechanized inductive inference
Case, John, Smith, CarlYear:
1978
Language:
english
DOI:
10.1145/800133.804360
File:
PDF, 528 KB
english, 1978