机译:“分类抽象代数逻辑:演绎对等的标准”的更正
机译:分类抽象代数逻辑:演绎对等的判据
机译:基础工程教育(EEE)的采用和专业发展框架:归纳和演绎研究
机译:热电联产系统对电力系统负荷平衡影响的初步研究
机译:从授权到使用家庭监控系统的持续健康行为:信息和通信技术(ICT)的演绎理论模型
机译:SVSI:快速有力的集值系统识别方法可在有序分类特征的测序研究中识别稀有变体
机译:动力总成控制系统的数值辅助演绎安全证明
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行