Hans Van V. Ditmarsch


AuthID: R-00J-540

Publicações a aguardar confirmação

1
TÍTULO: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
AUTORES: Patrick Blackburn; Hans van v Ditmarsch; María Manzano; Fernando Soler Toscano;
PUBLICAÇÃO: 2011, FONTE: TICTTL, VOLUME: 6680
INDEXADO EM: DBLP

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service