Resultats de la cerca - Cook, Stephen, 1948-
Stephen Cook
| direccio_tesi = Hao Wang }} Stephen Arthur Cook, (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. Proporcionat per Wikipedia- Mostrar 1 - 2 resultats de 2
-
1
Perspectives in logic logical foundations of proof complexity / per Cook, Stephen, 1948-
Publicat 2010Signatura: Carregant…An electronic book accessible through the World Wide Web; click to view
Localitzat: Carregant…
Electrònic eBook -
2
Perspectives in logic logical foundations of proof complexity / per Cook, Stephen, 1948-
Publicat 2010Signatura: Carregant…An electronic book accessible through the World Wide Web; click to view
Localitzat: Carregant…
Electrònic eBook