Princeton University.;
机译:解决问题的Rubrics Revisited:参加非正式概念和正式数学推理的混合
机译:解决问题的Rubrics Revisited:参加非正式概念和正式数学推理的混合
机译:动物与灌木促进复合物相互作用的功能评估:正式的综合和概念框架
机译:用概念图对复杂系统进行形式化建模和分析:在企业建模中的应用
机译:遗传问题解决中正式运营思想与概念难度之间的关系(PIAGET,Lawson)
机译:医学知识的构建和获取。在概念图形式主义中使用UMLS。
机译:重新审视解决问题的规则:参与非正式概念和形式数学推理的融合
机译:构建形式算法知识的交互式数字图书馆。