Résultat(s)
1 - 1
résultats de
1
Aller au contenu
VuFind
Connexion
Langue
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
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Auteur
Cook, Stephen, 1948-
Résultats de la recherche - Cook, Stephen, 1948-
Stephen Cook
Stephen Arthur Cook
(né en
1939
à
Buffalo
dans l'
État de New York
) est un informaticien et mathématicien américano-canadien, qui a apporté plusieurs contributions majeures à la
théorie de la complexité
. Il est actuellement professeur à l'
université de Toronto
, dans le département d'informatique, et dans le département de
mathématiques
.
Il a obtenu le
prix Turing
en 1982.
Informations fournies par Wikipedia
Résultat(s)
1 - 1
résultats de
1
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
1
Perspectives in logic logical foundations of proof complexity /
par
Cook, Stephen, 1948
-
Publié 2010
Cote:
Chargement en cours…
Localisé:
Chargement en cours…
An electronic book accessible through the World Wide Web; click to view
Électronique
eBook
QR Code
Afficher la notice à part
Ajouter aux favoris
Enregistré dans:
Outils de recherche:
S'abonner aux flux RSS
Envoyer cette recherche par courriel
Sujets similaires
Computational complexity
Logic, Symbolic and mathematical
Proof theory