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