Department of Informatics, University of Leicester, Leicester, England;
Laboratoire d'Informatique Fondamentale d'Orleans, Orleans, Prance;
Department of Languages, Literature and Communication, Utrecht Institute of Linguistics, Utrecht, Netherlands;
Department of Informatics, University of Leicester, Leicester, England;
Faculty of Technology, Policy and Management, Delft University of Technology, Delft, Netherlands,Department of Pure and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa;
机译:用于广角反射/折射地震数据处理和表示的新型多平台模块化软件工具(WASPAR)
机译:代理交互的合规性验证:基于逻辑的软件工具
机译:报告报告患者和从业者满意与用于管理膝关节疼痛的软件支持工具的研究的比例是多少,并且是与样本大小,效果大小和期刊影响因子相关的?
机译:软件工具支持模块化推理在模态逻辑的动作中
机译:用于软件验证的抽象和模块化推理。
机译:通过使用基于模糊逻辑的软件来支持急性心肌梗死治疗指南的实施
机译:逻辑程序的模态扩展:模块化,信念和假设推理