Dept. Matematica Aplicada. Universidad de Malaga;
机译:最小模型与逻辑编程:反事实条件的情况
机译:在知识逻辑及其应用中寻找模型的逻辑编程:一个案例研究
机译:为串行正则语法逻辑构造正逻辑程序的有限最小Kripke模型
机译:基于多岩基逻辑程序的最小模型的可达性
机译:结合多种干预手段来控制疟疾和耐药性的可达到结果:模型,分析和适应性计划框架
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:基于多格逻辑程序的最小模型的可达性ability