131
TITLE: Algorithmic debugging of prolog side-effects
AUTHORS: Pereira, LM; Calejo, M;
PUBLISHED: 1989, SOURCE: 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
INDEXED IN: Scopus
132
TITLE: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
133
TITLE: EXPERT EVALUATION IN LOGIC OF ENVIRONMENTAL RESOURCES THROUGH NATURAL LANGUAGE.
AUTHORS: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLISHED: 1984, SOURCE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium.
INDEXED IN: Scopus
135
TITLE: Relational Data Bases 'à la carte' PDF
AUTHORS: Miguel Filgueiras; Luís Moniz Pereira;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
INDEXED IN: DBLP
IN MY: DBLP
Page 14 of 14. Total results: 135.