Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



71
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Sernadas, C ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
72
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID
73
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: INTERNATIONAL COLLOQUIUM ON TEMPORAL LOGIC IN SPECIFICATION in TEMPORAL LOGIC IN SPECIFICATION, VOLUME: 398
INDEXED IN: WOS
74
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXED IN: WOS
IN MY: ResearcherID
75
TITLE: OBJECTS, OBJECT TYPES, AND OBJECT IDENTIFICATION
AUTHORS: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 393
INDEXED IN: WOS
IN MY: ResearcherID
76
TITLE: ABSTRACT OBJECT TYPES FOR DATABASES
AUTHORS: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1988, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 334
INDEXED IN: WOS
IN MY: ResearcherID
77
TITLE: KNOWLEDGEBASES AS STRUCTURED THEORIES
AUTHORS: FIADEIRO, J; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1988, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: WOS
IN MY: ResearcherID
78
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
INDEXED IN: Scopus
IN MY: ORCID
79
TITLE: Communicating knowledge systems: Part II—Big talk among small systems
AUTHORS: Sernadas, C ; Coelho, H; Gaspar, G;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
80
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
INDEXED IN: CrossRef
IN MY: ORCID
Page 8 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service