Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 232



221
TÍTULO: Programming in Delta Prolog
AUTORES: José C Cunha; Maria C Ferreira; Luís Moniz Pereira ;
PUBLICAÇÃO: 1989, FONTE: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
INDEXADO EM: DBLP
NO MEU: DBLP
222
TÍTULO: Relevant Counterfactuals
AUTORES: Luís Moniz Pereira ; Joaquim Nunes Aparício;
PUBLICAÇÃO: 1989, FONTE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390
INDEXADO EM: DBLP
NO MEU: DBLP
223
TÍTULO: A Framework for Prolog Debugging
AUTORES: Luís Moniz Pereira ; Miguel Calejo ;
PUBLICAÇÃO: 1988, FONTE: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (2 Volumes)
INDEXADO EM: DBLP
NO MEU: DBLP
224
TÍTULO: DELTA-PROLOG - A DISTRIBUTED BACKTRACKING EXTENSION WITH EVENTS
AUTORES: PEREIRA, LM ; MONTEIRO, L ; CUNHA, J ; APARICIO, JN;
PUBLICAÇÃO: 1986, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 225
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ResearcherID | DBLP
225
TÍTULO: RATIONAL DEBUGGING IN LOGIC PROGRAMMING
AUTORES: PEREIRA, LM ;
PUBLICAÇÃO: 1986, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 225
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
226
TÍTULO: Deduction Revision by Intelligent Backtracking
AUTORES: Maurice Bruynooghe; Luís Moniz Pereira ;
PUBLICAÇÃO: 1984, FONTE: Implementations of Prolog
INDEXADO EM: DBLP
NO MEU: DBLP
227
TÍTULO: DELTA-PROLOG: A DISTRIBUTED LOGIC PROGRAMMING LANGUAGE.
AUTORES: Luis Moniz Pereira ; Roger Nasr;
PUBLICAÇÃO: 1984, FONTE: Fifth Generation Computer Systems 1984, Proceedings of the International Conference. in FGCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
228
TÍTULO: Logic Control with Logic
AUTORES: Luís Moniz Pereira ;
PUBLICAÇÃO: 1984, FONTE: Implementations of Prolog
INDEXADO EM: DBLP
NO MEU: DBLP
229
TÍTULO: A Prolog Implementation of a Large System on a Small Machine
AUTORES: Luís Moniz Pereira ; António Porto ;
PUBLICAÇÃO: 1982, FONTE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982
INDEXADO EM: DBLP
NO MEU: DBLP
230
TÍTULO: Logic Control with Logic
AUTORES: Luís Moniz Pereira ;
PUBLICAÇÃO: 1982, FONTE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982
INDEXADO EM: DBLP
NO MEU: DBLP
Página 23 de 24. Total de resultados: 232.

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