António Beça Gonçalves Porto


AuthID: R-000-1Y4

Publicações Confirmadas: 36



31
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
32
TÍTULO: Logical Action Systems PDF
AUTORES: António Porto ;
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
33
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
34
TÍTULO: Epilog: A Language for Extended Programming in Logic
AUTORES: 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
35
TÍTULO: Ackermann and the superpowers  Full Text
AUTORES: António Porto ; Armando B Matos;
PUBLICAÇÃO: 1980, FONTE: SIGACT News, VOLUME: 12, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
36
TÍTULO: Selective Backtracking for Logic Programs
AUTORES: Luís Moniz Pereira ; António Porto ;
PUBLICAÇÃO: 1980, FONTE: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, VOLUME: 87
INDEXADO EM: DBLP CrossRef: 9
NO MEU: DBLP
Página 4 de 4. Total de resultados: 36.

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