Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Damas, Luís"'
Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important c
Externí odkaz:
http://arxiv.org/abs/1102.3896
Autor:
Damas, Luis, Moreira, Nelma
Although unification can be used to implement a weak form of $\beta$-reduction, several linguistic phenomena are better handled by using some form of $\lambda$-calculus. In this paper we present a higher order feature description calculus based on a
Externí odkaz:
http://arxiv.org/abs/cmp-lg/9507001
Autor:
Broda, Sabine, Damas, Luís
Publikováno v:
The Journal of Symbolic Logic, 1997 Sep 01. 62(3), 729-740.
Externí odkaz:
https://www.jstor.org/stable/2275570
Publikováno v:
In Expert Systems With Applications February 2016 44:275-288
Autor:
Damas, Luís Miguel Antunes
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Agência para a Sociedade do Conhecimento (UMIC)-FCT-Sociedade da Informação
instacron:RCAAP
Agência para a Sociedade do Conhecimento (UMIC)-FCT-Sociedade da Informação
instacron:RCAAP
O Programa de Sapadores Florestais (PSF) surge em 1999, como instrumento da política florestal com vista a contribuir para a diminuição do risco de incêndio e a valorização do património florestal, através da criação de equipas especializad
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f41b2a94f27d3e70a9449c58f00ef615
Publikováno v:
In Theoretical Computer Science 2004 318(3):373-408
Autor:
Broda, Sabine, Damas, Luís
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 67:131-147
Autor:
Broda, Sabine *, Damas, Luı́s
Publikováno v:
In Theoretical Computer Science 2000 247(1):277-290
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.