What is wrong?

Notice: Before sending an error with the download, please try the direct link first: An Interview with Stephen Cook

Loading...

You must sign in to do that.

Forgot password?

An Interview with Stephen Cook

An Interview with Stephen Cook

An Interview with Stephen Cook

Score: 6.80 | 5 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2002
Publisher:Charles Babbage Institute
Pages:30 pages
Language:english
Since:10/02/2012
Size:42 KB
License:Pending review

Content:

Stephen Arthur Cook (1939, Buffalo, Nueva York) es un reconocido científico de la computación.

Cook formalizó la cosa de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La Complejidad de los Procedimientos de Prueba de Teoremas"), que tambiénlas clases de complejidad P y NP.

Cook recibió el Premio Turing en 1982 por su descubrimiento: Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.

(Wikipedia)

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in category

online since

10/02/2012

rate score

17

votes

5

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...