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