Helder Manuel Ferreira Coelho
AuthID: R-000-5QV
101
TÃTULO: COMMUNICATING KNOWLEDGE SYSTEMS: PART 1 - BIG TALK AMONG SMALL SYSTEMS.
AUTORES: Cristina Sernadas ; Helder Coelho; Graca Gaspar;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 3
AUTORES: Cristina Sernadas ; Helder Coelho; Graca Gaspar;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 3
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID102
TÃTULO: COMMUNICATING KNOWLEDGE SYSTEMS: Part I—Big Talk among Small Systems
AUTORES: CRISTINA SERNADAS ; HELDER COELHO; GRAQA GASPAR;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 3
AUTORES: CRISTINA SERNADAS ; HELDER COELHO; GRAQA GASPAR;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 3
103
TÃTULO: COMMUNICATING KNOWLEDGE SYSTEMS: Part II—Big Talk among Small Systems
AUTORES: CRISTINA SERNADAS ; HELDER COELHO; GRAÇA GASPAR;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 4
AUTORES: CRISTINA SERNADAS ; HELDER COELHO; GRAÇA GASPAR;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 4
104
TÃTULO: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTORES: Helder Coelho; Luís Moniz Pereira;
PUBLICAÇÃO: 1986, FONTE: J. Autom. Reasoning, VOLUME: 2, NÚMERO: 4
AUTORES: Helder Coelho; Luís Moniz Pereira;
PUBLICAÇÃO: 1986, FONTE: J. Autom. Reasoning, VOLUME: 2, NÚMERO: 4
105
TÃTULO: Symbolic and algebraic computation may support secondary education
AUTORES: Coelho, H;
PUBLICAÇÃO: 1985, FONTE: European Conference on Computer Algebra, EUROCAL 1985 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 204 LNCS
AUTORES: Coelho, H;
PUBLICAÇÃO: 1985, FONTE: European Conference on Computer Algebra, EUROCAL 1985 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 204 LNCS
106
TÃTULO: Towards knowledge-based infolog specifications A case study of information engineering Full Text
AUTORES: Helder Coelho; António Rodrigues; Amilcar Sernadas;
PUBLICAÇÃO: 1985, FONTE: Decision Support Systems, VOLUME: 1, NÚMERO: 2
AUTORES: Helder Coelho; António Rodrigues; Amilcar Sernadas;
PUBLICAÇÃO: 1985, FONTE: Decision Support Systems, VOLUME: 1, NÚMERO: 2
107
TÃTULO: PROLOG: A programming tool for logical domain modeling
AUTORES: Helder Coelho;
PUBLICAÇÃO: 1983, FONTE: Computer Compacts, VOLUME: 1, NÚMERO: 1
AUTORES: Helder Coelho;
PUBLICAÇÃO: 1983, FONTE: Computer Compacts, VOLUME: 1, NÚMERO: 1
108
TÃTULO: Man-machine communication in Portuguese: A friendly library service system Full Text
AUTORES: Helder Coelho;
PUBLICAÇÃO: 1982, FONTE: Information Systems, VOLUME: 7, NÚMERO: 2
AUTORES: Helder Coelho;
PUBLICAÇÃO: 1982, FONTE: Information Systems, VOLUME: 7, NÚMERO: 2
109
TÃTULO: The processing of Portuguese based upon logic. LNEC, Centro de Informatica, Lisboa, Portugal
AUTORES: Helder Coelho;
PUBLICAÇÃO: 1982, FONTE: ACM SIGART Bulletin - SIGART Bull., NÚMERO: 79
AUTORES: Helder Coelho;
PUBLICAÇÃO: 1982, FONTE: ACM SIGART Bulletin - SIGART Bull., NÚMERO: 79
