Helder Manuel Ferreira Coelho
AuthID: R-000-5QV
111
TITLE: Proving with Prolog
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
112
TITLE: Doing Arithmetic with Prolog
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
113
TITLE: Doing Algebra with Prolog
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
114
TITLE: Playing with Prolog
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
115
TITLE: Learning with Prolog
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
AUTHORS: Helder Coelho; José Carlos Cotta;
PUBLISHED: 1988, SOURCE: Prolog by Example
116
TITLE: COMMUNICATING KNOWLEDGE SYSTEMS: PART 1 - BIG TALK AMONG SMALL SYSTEMS.
AUTHORS: Cristina Sernadas ; Helder Coelho; Graca Gaspar;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
AUTHORS: Cristina Sernadas ; Helder Coelho; Graca Gaspar;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID117
TITLE: COMMUNICATING KNOWLEDGE SYSTEMS: Part I—Big Talk among Small Systems
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAQA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAQA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
118
TITLE: COMMUNICATING KNOWLEDGE SYSTEMS: Part II—Big Talk among Small Systems
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAÇA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 4
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAÇA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 4
119
TITLE: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
120
TITLE: Symbolic and algebraic computation may support secondary education
AUTHORS: Coelho, H;
PUBLISHED: 1985, SOURCE: 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
AUTHORS: Coelho, H;
PUBLISHED: 1985, SOURCE: 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
