1 resultado para temporal disjunctive logic programming
em CentAUR: Central Archive University of Reading - UK
Filtro por publicador
- Aberdeen University (3)
- AMS Campus - Alm@DL - Università di Bologna (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (6)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (3)
- Aston University Research Archive (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (64)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (4)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
- Brock University, Canada (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (6)
- CentAUR: Central Archive University of Reading - UK (1)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (3)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (103)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (18)
- Deposito de Dissertacoes e Teses Digitais - Portugal (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons at Florida International University (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (11)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (1)
- Galway Mayo Institute of Technology, Ireland (1)
- Instituto Gulbenkian de Ciência (1)
- Instituto Politécnico do Porto, Portugal (75)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (3)
- Martin Luther Universitat Halle Wittenberg, Germany (5)
- Massachusetts Institute of Technology (6)
- National Center for Biotechnology Information - NCBI (2)
- Nottingham eTheses (1)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (2)
- Repositório Científico da Universidade de Évora - Portugal (23)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (18)
- Repositório da Produção Científica e Intelectual da Unicamp (6)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
- REPOSITORIO DIGITAL IMARPE - INSTITUTO DEL MAR DEL PERÚ, Peru (5)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (5)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (53)
- Scielo Saúde Pública - SP (148)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (2)
- Universidad de Alicante (7)
- Universidad Politécnica de Madrid (148)
- Universidade do Minho (16)
- Universidade dos Açores - Portugal (3)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universitat de Girona, Spain (1)
- Université de Lausanne, Switzerland (140)
- Université de Montréal, Canada (1)
- University of Michigan (8)
- University of Queensland eSpace - Australia (69)
- University of Southampton, United Kingdom (1)
Relevância:
Resumo:
The EP2025 EDS project develops a highly parallel information server that supports established high-value interfaces. We describe the motivation for the project, the architecture of the system, and the design and application of its database and language subsystems. The Elipsys logic programming language, its advanced applications, EDS Lisp, and the Metal machine translation system are examined.
