机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
Univ Luxembourg Luxembourg Luxembourg;
Univ Ghent Ghent Belgium;
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:第九届国际计算机科学领域中的逻辑学会议(DEON 2008)的部分论文和修订后的论文
机译:生物医学监测技术专刊:第12届IEEE国际生物信息学和生物工程会议(BIBE 2012)和第8届国际电子工程高级主题研讨会(ATEE 2013)的论文摘要,第2部分
机译:“真空镀膜机学会年度技术会议” 2019 SVC TechCon表面涂层和技术杂志特刊的部分论文
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:特刊:第二届天然产物和生理活性物质国际会议(ICNPAS-2004)和第三届欧亚杂环会议有机和组合化学中的杂环(EAHM-2004)的论文摘要
机译:第九届国际计算机科学领域中的逻辑学会议(DEON 2008)的部分论文和修订后的论文
机译:科威特科学与工程期刊:科威特国际学报。专题文章第1期,1996年。并行和分布式计算会议的专题论文。 1995年3月举行