Elements of finite model theory /
Hlavní autor: |
Libkin, Leonid, 1965-
(
Autor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer,
c2010.
|
Edice: |
Texts in theoretical computer science : an EATCS series
|
Předmět: | |