Stephen A Cook
Cook [kuk], Stephen Arthur, född 1939, datalog, professor i Toronto sedan 1970, som 1971 formulerade och bevisade en central sats inom komplexitetsteorin: satisfierbarhetsproblemet är NP-fullständigt (Cooks sats).
Källangivelse
Cook [kuk], Stephen Arthur, född 1939, datalog, professor i Toronto sedan 1970, som 1971 formulerade och bevisade en central sats inom komplexitetsteorin: satisfierbarhetsproblemet är NP-fullständigt (Cooks sats).
Källangivelse
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.