Skip to Content

STOC 1971

3rd Annual ACM Symposium on Theory of Computing
Shaker Heights, Ohio, USA, 03/05/1971–05/05/1971
funge da
evento origine per pubblicazione
page_white_acrobat The complexity of theorem-proving procedures (articolo in atti, 1971) — Stephen A. Cook

Eventi
ricerca • tutti
3rd Annual ACM Symposium on Theory of Computing
— acronimo
STOC 1971
— tipo
conferenza
— serie
STOC (3, 1971)
dove e quando
— dove
Shaker Heights, Ohio, USA
— quando
03/05/1971–05/05/1971
URL
DBLP