Stephen Arthur Cook, 1939-

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

Saved in:

Authority Details

Source
Cook, Stephen-Nguyen, Phuong: Logical foundations of proof complexity
Document Type
Others Information about persons
Publikace

Institution:


Destination Accessibility Link Link source
Web Link National Authorities
Web Link National Authorities