Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者Arieli, Ofer; Straßer, Christian
- 卷第323卷
- 印刷ISSN1571-0661
- 文件大小239.69KB
- 发表时间2016-07
- DOI10.1016/j.entcs.2016.06.003
- 页码21-37
PrefaceCavazza, Marc · Entertainment Computing · 2014
New modalities for interactive entertainmentVolpe, Gualtiero; Reidsma, Dennis; Camurri, Antonio; Nijholt, Anton · Entertainment Computing · 2013
PrefaceAnacleto, Junia; Graham, Nicholas · Entertainment Computing · 2014
Semantic crowdsKraayenbrink, Nick; Kessing, Jassin; Tutenel, Tim; de Haan, Gerwin; Bidarra, Rafael · Entertainment Computing · 2014
PrefaceHan, Jung Hyun; Malaka, Rainer · Entertainment Computing · 2012
Special issue title pageEntertainment Computing · 2012
Serious games for healthWattanasoontorn, Voravika; Boada, Imma; García, Rubén; Sbert, Mateu · Entertainment Computing · 2013
The “lonely gamer” revisitedSchiano, Diane J.; Nardi, Bonnie; Debeauvais, Thomas; Ducheneaut, Nicolas; Yee, Nicholas · Entertainment Computing · 2014