Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



71
TÍTULO: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTORES: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLICAÇÃO: 1990, FONTE: Information Systems, VOLUME: 15, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID
72
TÍTULO: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTORES: Sernadas, C ;
PUBLICAÇÃO: 1990, FONTE: Information Systems, VOLUME: 15, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
73
TÍTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXADO EM: WOS
NO MEU: ResearcherID
74
TÍTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: INTERNATIONAL COLLOQUIUM ON TEMPORAL LOGIC IN SPECIFICATION in TEMPORAL LOGIC IN SPECIFICATION, VOLUME: 398
INDEXADO EM: WOS
75
TÍTULO: OBJECTS, OBJECT TYPES, AND OBJECT IDENTIFICATION
AUTORES: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 393
INDEXADO EM: WOS
NO MEU: ResearcherID
76
TÍTULO: ABSTRACT OBJECT TYPES FOR DATABASES
AUTORES: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1988, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 334
INDEXADO EM: WOS
NO MEU: ResearcherID
77
TÍTULO: KNOWLEDGEBASES AS STRUCTURED THEORIES
AUTORES: FIADEIRO, J; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1988, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: WOS
NO MEU: ResearcherID
78
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
INDEXADO EM: Scopus
NO MEU: ORCID
79
TÍTULO: Communicating knowledge systems: Part II—Big talk among small systems
AUTORES: Sernadas, C ; Coelho, H; Gaspar, G;
PUBLICAÇÃO: 1987, FONTE: Applied Artificial Intelligence, VOLUME: 1, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID
80
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
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 8 de 9. Total de resultados: 83.

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