Hans Van V. Ditmarsch
AuthID: R-00J-540
1
TITLE: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
AUTHORS: Patrick Blackburn; Hans van v Ditmarsch; María Manzano; Fernando Soler Toscano;
PUBLISHED: 2011, SOURCE: TICTTL, VOLUME: 6680
AUTHORS: Patrick Blackburn; Hans van v Ditmarsch; María Manzano; Fernando Soler Toscano;
PUBLISHED: 2011, SOURCE: TICTTL, VOLUME: 6680
INDEXED IN: DBLP