Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações a aguardar confirmação

131
TÍTULO: Algorithmic debugging of prolog side-effects
AUTORES: Pereira, LM; Calejo, M;
PUBLICAÇÃO: 1989, FONTE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI
INDEXADO EM: Scopus
132
TÍTULO: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTORES: Helder Coelho; Luís Moniz Pereira;
PUBLICAÇÃO: 1986, FONTE: J. Autom. Reasoning, VOLUME: 2, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
133
TÍTULO: EXPERT EVALUATION IN LOGIC OF ENVIRONMENTAL RESOURCES THROUGH NATURAL LANGUAGE.
AUTORES: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLICAÇÃO: 1984, FONTE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium.
INDEXADO EM: Scopus
134
TÍTULO: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings PDF
AUTORES: Luís Moniz Pereira; António Porto ; Luís Monteiro; Miguel Figueiras;
PUBLICAÇÃO: 1983
INDEXADO EM: DBLP
NO MEU: DBLP
135
TÍTULO: Relational Data Bases 'à la carte' PDF
AUTORES: Miguel Filgueiras; Luís Moniz Pereira;
PUBLICAÇÃO: 1983, FONTE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
INDEXADO EM: DBLP
NO MEU: DBLP
Página 14 de 14. Total de resultados: 135.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service