机译:ROL演绎的面向对象数据库系统的设计与实现
机译:用于理解社会技术系统中信息系统的元理论
机译:拓宽信息系统学科中的理论概念:一种元理论方法
机译:正交持久演绎的面向对象数据库系统的实现架构
机译:从授权到使用家庭监控系统的持续健康行为:信息和通信技术(ICT)的演绎理论模型
机译:对国家准则的看法及其在精神保健中的(非)实施:演绎和归纳内容分析
机译:在演绎推理系统中有效实现非标准连接和量词
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行