Mostrar
1 - 1
resultats de
1
Anar al contingut
VuFind
Iniciar sessió
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Tots els camps
Títol
Autor
Matèria
Signatura
ISBN/ISSN
Etiqueta
Trobar
Avançada
Autor
Cook, Stephen, 1948-
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 - 1
resultats de
1
Refinar resultats
Ordenar
Rellevància
Data Descendent
Data Ascendent
Signatura
Autor
Títol
1
Perspectives in logic logical foundations of proof complexity /
per
Cook, Stephen, 1948
-
Publicat 2010
Signatura:
Carregant…
Localitzat:
Carregant…
An electronic book accessible through the World Wide Web; click to view
Electrònic
eBook
Codi QR
Enllaç a registre independent
Afegir a favorits
Guardat en:
Eines de cerca:
Obtenir subscripció RSS
Enviar per correu electrònic aquesta cerca
Matèries relacionades
Computational complexity
Logic, Symbolic and mathematical
Proof theory