Počet záznamů: 1
The classical decision problem
Údaje o názvu The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich Osobní jméno Borger, Egon (autor) Vyd.údaje Berlin ; Heidelberg ; New York : Springer, 2001 Fyz.popis x, 482 s. ISBN 3540423249 Edice Universitext Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Grädel, Erich, 1958- (autor) Gurevich, Yuri, 1940- (autor) Předmět.hesla funkcionální analýza functional analysis * umělá inteligence artificial intelligence * matematická logika mathematical logic * řešení problémů problem solving * počítačová věda computer science Forma, žánr učebnice vysokých škol textbooks (higher) MDT 004.8 , 510.6:004 , 517.98 Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/1383 (PřF) 3134015797 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1