Jose Carlos Ferreira Maia Neves


AuthID: R-000-86G

Publicações a aguardar confirmação

211
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.
INDEXADO EM: Scopus
NO MEU: ORCID
212
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
INDEXADO EM: Scopus
NO MEU: ORCID
213
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
INDEXADO EM: Scopus
NO MEU: ORCID
Página 22 de 22. Total de resultados: 213.

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