Hans Van V. Ditmarsch


AuthID: R-00J-540

Publicações a aguardarem confirmação

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
INDEXED IN: DBLP

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service