Julien Narboux
AuthID: R-006-N8M
1
TÃTULO: Preface
AUTORES: Julien Narboux; Walther Neuper; Pedro Quaresma;
PUBLICAÇÃO: 2025, FONTE: 13th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2024 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 419
AUTORES: Julien Narboux; Walther Neuper; Pedro Quaresma;
PUBLICAÇÃO: 2025, FONTE: 13th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2024 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 419
INDEXADO EM: 
Scopus
Scopus2
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
AUTORES: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, NÚMERO: 4
INDEXADO EM: Scopus 
WOS
Scopus WOS3
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
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
CrossRef