Stephen Arthur Cook, 1939-

Americko-kanadský počítačový vědec a matematik.

Uloženo v:

Authority Details

Zdroj
Cook, Stephen-Nguyen, Phuong: Logical foundations of proof complexity
Typ dokumentu
Ostatní Informace o osobách
Publikace

Instituce:


Cíl Přístupnost Odkaz Zdroj odkazu
Web Odkaz Národní autority ČR
Web Odkaz Národní autority ČR

Odkazy

Odkazy do databází

Související osoby