Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



81
TÍTULO: The INFOLOG linear tense propositional logic of events and transactions  Full Text
AUTORES: José Fiadeiro; Amílcar Sernadas ;
PUBLICAÇÃO: 1986, FONTE: Information Systems, VOLUME: 11, NÚMERO: 1
INDEXADO EM: CrossRef
82
TÍTULO: THE INFOLOG LINEAR TENSE PROPOSITIONAL LOGIC OF EVENTS AND TRANSACTIONS  Full Text
AUTORES: FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1986, FONTE: INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
83
TÍTULO: Towards knowledge-based infolog specifications A case study of information engineering  Full Text
AUTORES: Coelho, H ; Rodrigues, A; Sernadas, A ;
PUBLICAÇÃO: 1985, FONTE: Decision Support Systems, VOLUME: 1, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
84
TÍTULO: USE OF E-R ABSTRACTIONS FOR KNOWLEDGE REPRESENTATION.
AUTORES: Amilcar Sernadas ; Cristina Sernadas ;
PUBLICAÇÃO: 1985, FONTE: 4th International Conference on Entity-Relationship Approach.
INDEXADO EM: Scopus
NO MEU: ORCID
85
TÍTULO: BIPS: A LAYERED PREDICATIVE QUERY LANGUAGE FOR A DBTG DATABASE SYSTEM.
AUTORES: Amilcar Sernadas ; Graca Gaspar; Jose Granado;
PUBLICAÇÃO: 1982, FONTE: Improving Database Usability and Responsiveness. in Proceedings of the International Conference on Databases
INDEXADO EM: Scopus
NO MEU: ORCID
86
TÍTULO: SYSTEMATICS - ITS SYNTAX AND SEMANTICS AS A QUERY LANGUAGE .1.
AUTORES: SERNADAS, A ;
PUBLICAÇÃO: 1981, FONTE: COMPUTER JOURNAL, VOLUME: 24, NÚMERO: 1
INDEXADO EM: WOS
NO MEU: ResearcherID
87
TÍTULO: SYSTEMATICS - ITS SYNTAX AND SEMANTICS AS A QUERY LANGUAGE .2.
AUTORES: SERNADAS, A ;
PUBLICAÇÃO: 1981, FONTE: COMPUTER JOURNAL, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
88
TÍTULO: TEMPORAL ASPECTS OF LOGICAL PROCEDURE DEFINITION  Full Text
AUTORES: SERNADAS, A ;
PUBLICAÇÃO: 1980, FONTE: INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
Página 9 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