Inst. of Sci. Tech. Inf. of China, Beijing;
formal logic; logic programming; Aristotelian syllogism; Microsoft Foundation Class; VC++; deductive system; programming logic; automatic reasoning; deduction system; logic formalization;
机译:筛选所有有效的aristotelian模纲
机译:亚里士多德三段论的本质和衍生情绪
机译:亚里士多德三段论
机译:亚里士多德三段论的演绎系统
机译:从授权到使用家庭监控系统的持续健康行为:信息和通信技术(ICT)的演绎理论模型
机译:归纳三段论的结构及其与演绎的关系
机译:亚里士多德三段论中的完美三段论是什么?
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行