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:
Popis
Fyzický popis:xii, 482 s.
ISBN:3-540-57073-X
0-387-57073-X