会议论文详细信息
Interaction versus Automation: The two Faces of Deduction
Interaction versus Automation: The two Faces of Deduction
计算机科学;物理学
Dagstuhl Seminar ; 2 ; 3
PID  :  80100
学科分类:计算机科学(综合)
来源: CEUR
PDF
【 摘 要 】

From 04.10. to 09.10.2009, the Dagstuhl Seminar 09411 Interaction versus Automation: The two Faces of Deduction was held in Schloss DagstuhlLeibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar top ics and goals in general. Links to extended abstracts or full papers are provided, if available.

【 预 览 】
附件列表
Files Size Format View
Interaction versus Automation: The two Faces of Deduction 204KB PDF download
  文献评价指标  
  下载次数:11次 浏览次数:19次