bn:03511484n
Noun Named Entity
Categories: Teoremas epónimos, Teoremas de complejidad computacional
ES
Teorema de Cook  teorema de Cook-Levin  Teorema de Cook Levin
ES
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures". Wikipedia
Definitions
Relations
Sources
ES
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures". Wikipedia
Wikipedia
Wikidata
Wikidata Alias
Wikipedia Translations