机译:迷失在翻译中:命题逻辑中的语言独立性-应用于信念改变
机译:信念修订,最小的更改和放松:基于满意度系统的通用框架,以及描述逻辑的应用
机译:在第六届国际数学与模拟计算机协会(IMACS)计算机代数应用会议(ACA'2000)上的会议“科学与工程中的间隔和计算机代数方法”
机译:迷失在翻译中:命题逻辑中的语言独立性-在信仰修订和信仰合并中的应用
机译:“整个语言变化之旅”:检查教师对语言和语言意识的教学应用不断变化的信念。
机译:医疗保健中的计算机应用。门诊计算机系统。患者自我保健:PLATO STAYWELL:健康行为改变的行为医学微计算机程序
机译:注意逻辑编程的语义(语言,代数和计算机系统)
机译:代数逻辑与通用代数在计算机科学中的应用