机译:第九届国际计算机科学领域中的逻辑学会议(DEON 2008)的部分论文和修订后的论文
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
机译:第二十九届夏威夷国际系统科学会议论文集
机译:参加计算机研讨会的自选教育者的计算机态度与堪萨斯州教育者的一般人群的比较。
机译:第九届国际计算智能与安全会议精选论文
机译:第九届计算机科学中道义逻辑国际会议的选定和修订论文(DEON 2008)
机译:计算机科学讲义960.逻辑与计算复杂性。国际研讨会于1994年10月在印第安纳州印第安纳波利斯举行。精选论文