Topologic: Exploring Spatial Reasoning Through Geometry, Topology, and Semantics

Publication source: 
Formal Methods in Architecture Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
Publication authors: 
Wassim Jabi, Aikaterini Chatzivasileiadi
Scope of application: 
Geometry Modeling
Organizations of authors: 
Cardiff University
Country: 
UK
Year of publication: 
2021