作者 
ACM Symposium on Theory of Computing (4th : 1972 : Denver, Colo.)

書名 
Conference record : Fourth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Denver, Colorado, May 1,2,3, 1972 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory and supported by the University of Colorado 
出版項 
New York : ACM Order Department, 1972 
