Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações a aguardar confirmação

131
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
132
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
133
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
134
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: 134.

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