Finite model theory and its applications /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Grädel, Erich, 1958- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, 2007
Vydání:1st ed.
Edice:Texts in theoretical computer science
Témata:
Popis
Fyzický popis:xi, 437 s.
ISBN:978-3-540-00428-8