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...
获取全文
电子 电子书