Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



71
TÍTULO: SLWV - A Theorem Prover for Logic Programming
AUTORES: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLICAÇÃO: 1992, FONTE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
72
TÍTULO: Towards Distributed Tools for Heterogeneous Logic Programming Environments
AUTORES: José A S Alegria; Artur M Dias; Luís Caires ;
PUBLICAÇÃO: 1989, FONTE: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 8 de 8. Total de resultados: 72.

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

Links Úteis

Ajuda

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