Elements of finite model theory
Libkin, LeonidEmphasizes the computer science aspects of the subject.
Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
年:
2004
版本:
Softcover reprint of hardcover 1st ed. 2004
出版商:
Springer
語言:
english
頁數:
315
ISBN 10:
3662070030
ISBN 13:
9783662070031
系列:
Texts in theoretical computer science
文件:
DJVU, 4.01 MB
IPFS:
,
english, 2004
因版權方投訴,本書無法下載