José Júlio Alves Alferes
AuthID: R-000-8E8
21
TÃTULO: Logics in Artificial Intelligence
AUTORES: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science
AUTORES: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLICAÇÃO: 1996, FONTE: Lecture Notes in Computer Science
22
TÃTULO: Debugging by diagnosing assumptions
AUTORES: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLICAÇÃO: 1993, FONTE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 749 LNCS
AUTORES: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLICAÇÃO: 1993, FONTE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 749 LNCS
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID23
TÃTULO: Semantics of logic programs with explicit negation
AUTORES: José J Alferes;
PUBLICAÇÃO: 1993
AUTORES: José J Alferes;
PUBLICAÇÃO: 1993
INDEXADO EM: 
Handle
Handle