Počet záznamů: 1
Logical foundations of proof complexity
Údaje o názvu Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen Osobní jméno Cook, Stephen Arthur, 1939- (autor) Údaje o vydání First paperback edition Nakladatel New York NY : Cambridge University Press, 2014 Fyz.popis xv, 479 stran ISBN 978-1-107-69411-8 (brožováno) Edice Perspectives in logic Poznámka Pod názvem: Association for Symbolic Logic Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Nguyen, Phuong, 1977- (autor) Dal.odpovědnost Association for Symbolic Logic Předmět.hesla složitost výpočtu * teorie složitosti complexity theory * matematická logika mathematical logic Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.52 , 510.6 , (075.8) Země vyd. Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/3376 (PřF) 3134042941 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1