Finite Model Theory and Its Applications

EISBN：9783540688044

PISBN：9783540004288

出版社：Springer Berlin Heidelberg

出版类型：Graduate/advanced undergraduate textbook

出版时间：2007

作者：Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

主题词：Mathematical Logic and Formal Languages,Software Engineering,Computation by Abstract Devices,Logics and Meanings of Programs,Database Management,Mathematical Logic and Foundations

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Texts in Theoretical Computer Science An EATCS Series

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Finite Model Theory

作者：Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN：9783662031827
出版社：Springer Berlin Heidelberg
出版时间：1995

Finite Model Theory

作者：Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN：9783662031827
出版社：Springer Berlin Heidelberg
出版时间：1995

Finite Model Theory

作者：Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN：9783540287889
出版社：Springer Berlin Heidelberg
出版时间：1995

Finite Model Theory

作者：Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN：9783540287889
出版社：Springer Berlin Heidelberg
出版时间：2006

Elements of Finite Model Theory

作者：Leonid Libkin
EISBN：9783662070031
出版社：Springer Berlin Heidelberg
出版时间：2004

Elements of Finite Model Theory

作者：Leonid Libkin
EISBN：9783662070031
出版社：Springer Berlin Heidelberg
出版时间：2004