1
出版 2010
書本目錄: ... in the Interior of the Building -- Computational Shape Grammars and Non-Standardization: a Case Study on the City...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...
獲取全文
電子 電子書