1
Published 2010
Table of Contents: ... in the Interior of the Building -- Computational Shape Grammars and Non-Standardization: a Case Study on the City...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...
View full text
Electronic eBook