Jose Carlos Ferreira Maia Neves
AuthID: R-000-86G
211
TÃTULO: REORGANIZATION IN A SIMPLE DATABASE SYSTEM.
AUTORES: Williams, MH; Pattison, IM; Neves, JC;
PUBLICAÇÃO: 1986, FONTE: Software - Practice and Experience, VOLUME: 16, NÚMERO: 8
AUTORES: Williams, MH; Pattison, IM; Neves, JC;
PUBLICAÇÃO: 1986, FONTE: Software - Practice and Experience, VOLUME: 16, NÚMERO: 8
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID212
TÃTULO: SECURITY AND CO-OPERATIVENESS IN A LOGIC DATA BASE SYSTEM.
AUTORES: Jose Carlos Ferreira Maia Neves;
PUBLICAÇÃO: 1984, FONTE: ECAI-84: Proceedings of the Sixth European Conference on Artificial Intelligence.
AUTORES: Jose Carlos Ferreira Maia Neves;
PUBLICAÇÃO: 1984, FONTE: ECAI-84: Proceedings of the Sixth European Conference on Artificial Intelligence.
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID213
TÃTULO: LOGIC INTERPRETER TO HANDLE TIME AND NEGATION IN LOGIC DATA BASES.
AUTORES: Jose Carlos Ferreira Maia Neves;
PUBLICAÇÃO: 1984, FONTE: Proceedings of the 1984 Annual Conference of the Association for Computing Machinery: The Fifth Generation Challenge. in Proceedings of the Annual Conference of the Association for Computing Machinery
AUTORES: Jose Carlos Ferreira Maia Neves;
PUBLICAÇÃO: 1984, FONTE: Proceedings of the 1984 Annual Conference of the Association for Computing Machinery: The Fifth Generation Challenge. in Proceedings of the Annual Conference of the Association for Computing Machinery
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID214
TÃTULO: Evaluation of alternative microcomputer systems for retrieval of scientific references
AUTORES: Davis, RH; Rinaldi, C; Neves, J;
PUBLICAÇÃO: 1982, FONTE: Online Information Review, VOLUME: 6, NÚMERO: 6
AUTORES: Davis, RH; Rinaldi, C; Neves, J;
PUBLICAÇÃO: 1982, FONTE: Online Information Review, VOLUME: 6, NÚMERO: 6
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID