Julien Narboux


AuthID: R-006-N8M

Publicações a aguardar confirmação

1
TÍTULO: The Area Method A Recapitulation  Full Text
AUTORES: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, NÚMERO: 4
INDEXADO EM: Scopus WOS
2
TÍTULO: The Area Method. A Recapitulation  Full Text
AUTORES: Predrag Janičić; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2010, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 48, NÚMERO: 4
INDEXADO EM: CrossRef

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