Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



71
TÍTULO: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTORES: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: INFORMATION SYSTEMS, VOLUME: 15, NÚMERO: 1
INDEXADO EM: WOS
NO MEU: ResearcherID
72
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
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: INEVITABILITY IN BRANCHING TIME
AUTORES: CARMO, J; SERNADAS, A ;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
INDEXADO EM: WOS
NO MEU: ResearcherID
76
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
77
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
78
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
79
TÍTULO: SPECIFICATION AND VERIFICATION OF DATABASE DYNAMICS
AUTORES: FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1988, FONTE: ACTA INFORMATICA, VOLUME: 25, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
80
TÍTULO: STRUCTURING THEORIES ON CONSEQUENCE
AUTORES: FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1988, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 332
INDEXADO EM: WOS
NO MEU: ResearcherID
Página 8 de 9. Total de resultados: 88.

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