Vienna University of Technology, Department of Computer Aided Planning and Architecture, Treitelstrasse 3, A-1040 Vienna, Austria;
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:时空原子的诞生随着时间的流逝
机译:静态球对称时空中的全局最大时态测地线:静态时空中的径向测地线和超静态时空中的任意测地线
机译:空间全神和时间的流逝
机译:标准静态空间中Ricci流的短时间存在
机译:从弯曲的时空到蜂窝状和三角形量子行走上依赖于时空的局部unit
机译:时空抒情与时间的流逝
机译:虚拟时空:通过测地流可视化弯曲时空的环境