Zoekresultaten - Cook, Stephen, 1948-

Stephen Cook

Stephen Andrew Cook (Buffalo, 14 december 1939) is een Amerikaans theoretisch informaticus en hoogleraar aan de Universiteit van Toronto. In 1971 bewees hij dat er beslissingsproblemen bestaan waartoe alle NP-problemen in polynomiale tijd gereduceerd kunnen worden. Hiervoor ontving hij in 1982 de Turing Award. Door Wikipedia aangeleverd
  • Toon 1 - 1 resultaten van 1
Verfijn jouw resultaten
  1. 1
    Beeld op de omslag

    Perspectives in logic logical foundations of proof complexity / door Cook, Stephen, 1948-

    Gepubliceerd in 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: