Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2891170 obálek a 872966 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Cook, Stephen Arthur | |
Autor: Cook, Stephen Arthur
Rok: 1939- Stephen Arthur Cook (* 14. prosince 1939 Buffalo, New York, USA) je americký informatik. Je znám především díky svému článku The Complexity of Theorem Proving Procedures z roku 1971, ve kterém formalizoval pojem NP-úplnosti a dokázal, že existuje NP-úplný problém (Cook-Levinova věta). Tento článek otevřel jeden z největších nevyřešených problémů současné informatiky, a to zda P = NP. Tato otázka byla zařazena mezi sedm tzv. Problémů tisíciletí vyhlášených v roce 2000 Clayovým matematickým institutem. Za vyřešení každého z těchto problémů je vypsána odměna milion dolarů Problém se dotýká celé řady vědních oborů — teoretické informatiky, matematiky, logiky, kryptografie, ale i filosofie. V roce 1982 obdržel Cook Turingovu cenu. V září 2008 navštívil pražskou Podzimní školu logiky. |