Serge Autexier


AuthID: R-00H-5V5

Publicações a aguardar confirmação

1
TÍTULO: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface
AUTORES: Serge Autexier; Pedro Quaresma;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 239
INDEXADO EM: WOS

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