有限维空间完备性的一种证法

机译：有限性和有限完备性

机译：有限群，有限完备性和摩尔猜想

机译：基于有限差分/有限元方法的高效求解二维空间/多次分数Bloch-Torrey方程的技术

机译：有限λ-双仿真的完备性结果

机译：黑格尔的辩证法中的非矛盾定律：在康德的“纯粹理性批判”背景下，黑格尔的辩证法作为一种反逻辑。

机译：可计算性哥德尔不完备性定理以及进化可预测性的固有限制

机译：statman有限完备性定理的另一种证明

机译：statman的有限完备性定理

机译：三维空间数据传输和显示系统，三维空间数据传输方法，带有可录制程序的计算机可读记录介质，用于制作计算机实现三维空间数据传输方法，三维空间记录数据显示方法具有记录程序的介质，使计算机实现三维空间显示方法，三维空间数据传输和显示方法，以及具有记录程序的介质，使计算机实现三维空间显示方法和数据记录传输

机译：一种用于自动识别三维空间中的结构的图像处理系统和用于标识三维空间中的结构的标记元素

机译：用于制造业的三维空间确定方法，涉及根据虚拟模型的一定位置确定其中一种修改后的虚拟模型，并基于修改后的模型找到三维空间