Skip to Content

STOC 1971

3rd Annual ACM Symposium on Theory of Computing
Shaker Heights, Ohio, USA, 03/05/1971–05/05/1971
works as
origin event for publication
page_white_acrobat The complexity of theorem-proving procedures (paper in proceedings, 1971) — Stephen A. Cook

Events
search • all
3rd Annual ACM Symposium on Theory of Computing
— acronym
STOC 1971
— sort
conference
— series
STOC (3, 1971)
where & when
— where
Shaker Heights, Ohio, USA
— when
03/05/1971–05/05/1971
URL
DBLP