Departamento de Ingenieria Informatica y Ciencia de la Computacion, Facultad de Ingenieria, University of Concepcion , Chile;
机译:通用转换系统上的一阶μ演算及其在情境演算中的应用
机译:模糊命题演算的形式演绎系统
机译:模糊命题演算的拟形式演绎系统
机译:在情况结石中不完整信息并发游戏的战略表现和推理
机译:知识表达方式和心理类型对人机界面中人的理解的影响(专家系统,管理信息,演绎逻辑,决策支持,迈尔斯-布里格斯)。
机译:结石的普遍性以及孟加拉国总统取石术的结果
机译:关于不一致演绎系统命题微积分的讨论性结合
机译:形式化和表示产品驱动的方法组装方法开发