Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

作者: Erich Grädel / Phokion G. Kolaitis / Leonid Libkin / Maarten Marx / Joel Spencer / Moshe Y. Vardi / Yde Venema / Scott Weinstein
出版社: Springer
出版年: 2007-06-11
页数: 437
定价: USD 79.95
装帧: Hardcover
ISBN: 9783540004288