机译:知识表示中建构过程的代数与逻辑研究
Department of Computer Science, K.U. Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium;
机译:显式构造逻辑ECL:认知主体对逻辑信息的构造和选择的新表示
机译:构造拓扑中的正则表达式和重叠代数的表示定理
机译:向量逻辑:基本逻辑门的自然代数表示
机译:用于命题表示和演算的建设性逻辑网络
机译:利用代数边界表示法构建三维二元空间划分树和构造实体几何树。
机译:认知过程基础数学技能以及计算准确性和流利性在单词问题解决与代数知识之间的作用
机译:知识表示中建构过程的代数与逻辑研究
机译:逆向工程:建构性solid211几何的代数边界表示