The classical decision problem /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Börger, Egon, 1946- (Autor), Gurevich, Yuri, 1940- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, 1997.
Edice:Perspectives in Mathematical Logic
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dlouhodobá
do 2027-06-22
Fakulta informatiky R291 4200507769