机译：论阿尔贝蒂建筑学理论中的线迹的基本性质-参考线迹思想和绘画雕塑理论中的其他相关概念
机译：皮埃尔·温特1930年代的自然法理论：勒·柯布西耶和他的合作者皮埃尔·温特论身体文化理论，第4部分
机译：勒·柯布西耶1930年代的身体文化空间与生活理论：勒·柯布西耶及其合作者皮埃尔·温特的研究
机译：基于名词和句子层次关系的自然语言语义描述系统及其推理方法研究
机译：排队网络仿真逻辑程序设计语言及其处理系统的研究
机译：关于中间谓词逻辑和模态谓词逻辑的Kripke语义的完整性和不完整性。 （关于非经典逻辑及其Kripke语义的问题）
