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
2
TÍTULO: Tools for Teaching Logic. Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
AUTORES: Patrick Blackburn; Hans van Ditmarsch; María Manzano; Fernando Soler-Toscano;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2 Openlibrary

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

Links Úteis

Ajuda

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