Private Gardens Gardens for the Enjoyment of Artificial Landscapes of Men of Letters
Cheng Liyao2012 年出版199 页ISBN：9787112139729
本书分概论和图版两大部分。概论部分以图文并茂的形式阐述文人园林建筑的发展、艺术特征、布局和设计、掇山和理水、建筑形制和材料等，附有彩色图片和建筑平面图、剖面图等进行辅助说明；图版部分以精美的图片...
PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN：
POPULAR FICTION THE LOGICS AND PRACTICES OF A LITERARY FIELD
2004 年出版179 页ISBN：0415356466
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS
2007 年出版309 页ISBN：9783540759386
STUDIES IN GENERATIVE GRAMMAR 44 THE MATHEMATICS OF SYNTACTIC STRUCTURE TREES AND THEIR LOGICS
1999 年出版348 页ISBN：3110162733
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
