机译:lambdaProlog(QS):高阶逻辑编程中的功能空间推理(简短论文)
机译:非概率不确定性中的推理:以逻辑编程和神经符号计算为例
机译:一种快速平行的遗传编程框架,具有适应性加权原语,用于象征性回归
机译:通过Prolog程序中的符号推理编程快速色彩识别硬件
机译:背景中的符号中心还是变化的最前沿?种族特定的文化中心和学生支持计划及其对有色学生的潜在影响。
机译:腹腔镜与开放性结直肠切除术在快速通道程序内:基于随机对照试验的更新Meta分析
机译:关于prolog程序的推理:从模式到类型再到断言
机译:关于prolog程序终止的推理