Property |
Value |
prop-ca:almaMater
| |
prop-ca:conegutPer
|
- Complexitat de prova proposicional
- NP-completesa
- Teorema de Cook-Levin
|
prop-ca:direccioTesi
| |
prop-ca:llocNaixement
| |
prop-ca:nom
| |
prop-ca:ocupacio
| |
prop-ca:organitzacio
| |
prop-ca:premis
|
- dbpedia-ca:Premi_Turing
- *
- * CRM-Fields-PIMS prize
* John L. Synge Award
* Bernard Bolzano Medal
* Gerhard Herzberg Canada Gold Medal for Science and Engineering
* Premi de la Fundació BBVA Fronteres del Coneixement
|
prop-ca:tipusInfotaula
| |
dbo:abstract
|
- Stephen Arthur Cook, OC, OOnt (nascut el 14 de desembre de 1939) és un prestigiós informàtic i matemàtic que ha fet contribucions importants en els camps de la complexitat computacional i la complexitat de proves. És professor de la Universitat de Toronto, als departaments d'Informàtica i de Matemàtiques. (ca)
- Stephen Arthur Cook, OC, OOnt (nascut el 14 de desembre de 1939) és un prestigiós informàtic i matemàtic que ha fet contribucions importants en els camps de la complexitat computacional i la complexitat de proves. És professor de la Universitat de Toronto, als departaments d'Informàtica i de Matemàtiques. (ca)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
dct:subject
| |
rdfs:comment
|
- Stephen Arthur Cook, OC, OOnt (nascut el 14 de desembre de 1939) és un prestigiós informàtic i matemàtic que ha fet contribucions importants en els camps de la complexitat computacional i la complexitat de proves. És professor de la Universitat de Toronto, als departaments d'Informàtica i de Matemàtiques. (ca)
- Stephen Arthur Cook, OC, OOnt (nascut el 14 de desembre de 1939) és un prestigiós informàtic i matemàtic que ha fet contribucions importants en els camps de la complexitat computacional i la complexitat de proves. És professor de la Universitat de Toronto, als departaments d'Informàtica i de Matemàtiques. (ca)
|
rdfs:label
|
- Stephen Cook (ca)
- Stephen Cook (ca)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is foaf:primaryTopic
of | |