可演绎系统的研究

机译：Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统

机译：知识组织系统的有用序列和演绎原理-探索性研究

机译：超越Rasiowan系统：单位演绎系统

机译：自动演绎系统（SAD）：语言和演绎特质

机译：关于演绎主义：对非正式逻辑中演绎主义的批判性考察。

机译：演绎推理脑网络：一种基于坐标的演绎推理中神经签名的荟萃分析

机译：功能关系，演绎系统和新陈代谢系统的模式（第二和第三复杂系统札幌研讨会论文集，研究报告）

机译：演绎数据库和逻辑编程：演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行

机译：用户/躁狂症参与音乐的演绎及其记忆服务系统和业务模型的记忆语言/研究

机译：演绎系统，演绎设备，演绎方法和计算机程序

机译：使用通信网络的演绎词学习方法和系统以及演绎词学习设备