机译:2014 SYMBOLIC LOGIC LOGIC COLLOQUIUM '14协会欧洲夏季会议,奥地利维也纳,2014年7月14日至19日,摘要
机译:2014年符号逻辑逻辑集体讨论会欧洲夏季会议'14维也纳,奥地利2014年7月14日至19日摘要(2015年第21卷,第85页)
机译:2017年欧洲夏季会议协会象征性逻辑逻辑Colloquium'17斯德哥尔摩,瑞典2017年8月14日至20日
机译:2019年欧洲夏天会议象征性逻辑逻辑古典古典古典2019年布拉格,捷克共和国2019年8月11日至16日
机译:爱达荷国家实验室(INL)的放射性同位素电源系统功能:于2014年7月20日至24日举行的第55届国际金属加工学会年会上提出
机译:英国癌症研究协会第37届年会欧洲癌症研究协会第14届会议和癌症医师协会第11届年会。爱丁堡1996年3月31日至4月3日。摘要。
机译:数据和应用程序安全性和隐私第二十八届:第28届年度IFIP WG 11.3工作会议,DBSec 2014,奥地利维也纳,2014年7月14日至16日。
机译:摘要书,逻辑学术讨论会'98,asL欧洲夏季会议,1998年8月9日至15日,捷克共和国布拉格