Department of CSE NMAMIT Nitte;
机译:关系双表格决策程序及其在模态和直觉逻辑中的应用
机译:模态逻辑K的关系对偶表决策程序
机译:具有约束组合运算符的关系逻辑的基于双表格的决策程序
机译:嵌套关系表达式之间的代数等价
机译:搭建隐喻桥梁:一年级学生对等价关系理解的教学实验。
机译:将等价关系与等价关系相关:复杂的人类功能的关系框架模型
机译:关系表达式的等价物*
机译:TaBLEaU D'EQUIVaLENCEs DE La TERmINOLOGIE DE L'aCCELERaTIONRecommandépourl'usage internationalgénéralparla“Comitédel'accélération”du Groupedemédecineaéronautiqueetspatiale