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:
National Authorities
MARC
| LEADER | 00000cz a2200000n 4500 | ||
|---|---|---|---|
| 001 | xx0115837 | ||
| 003 | CZ PrNK | ||
| 005 | 20131104081305.0 | ||
| 008 | 100420|n|acnnnaabn n a|a | ||
| 040 | |a ULG001 |b cze |d ABA001 | ||
| 046 | |f 1939 | ||
| 100 | 1 | |a Cook, Stephen Arthur, |d 1939- |7 xx0115837 | |
| 670 | |a Cook, Stephen-Nguyen, Phuong: Logical foundations of proof complexity | ||
| 670 | |a LC(Names), cit. 4. 11. 2013 | ||
| 670 | |a www(Wikipedia, the free encyclopedia), cit. 4. 11. 2013 |b biografické údaje | ||
| 678 | 0 | |a Americko-kanadský počítačový vědec a matematik. | |
| 856 | 4 | 2 | |u http://en.wikipedia.org/wiki/Stephen_Cook |4 N |
| 906 | |a za20100420 |b xivze | ||
| 906 | |a op20131104 |b evje |c URL - zrušení podpole | ||
| 998 | |a http://aleph.nkp.cz/F/?func=direct&doc_number=000570430&local_base=AUT | ||
