1 resultado para recurring choices
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- Repository Napier (1)
- Aberdeen University (3)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- Aquatic Commons (5)
- Archive of European Integration (20)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (19)
- Aston University Research Archive (11)
- Biblioteca Digital da Câmara dos Deputados (5)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital de la Universidad Católica Argentina (4)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (66)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (18)
- Boston University Digital Common (1)
- Brock University, Canada (3)
- CaltechTHESIS (8)
- Cambridge University Engineering Department Publications Database (3)
- CentAUR: Central Archive University of Reading - UK (24)
- Center for Jewish History Digital Collections (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (6)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (4)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons @ DU | University of Denver Research (2)
- Digital Commons at Florida International University (9)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (5)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (2)
- Ecology and Society (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (16)
- eScholarship Repository - University of California (1)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (83)
- Indian Institute of Science - Bangalore - Índia (37)
- Instituto Gulbenkian de Ciência (1)
- Nottingham eTheses (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (30)
- Queensland University of Technology - ePrints Archive (435)
- Repositorio de la Universidad del Pacífico - PERU (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (5)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- The Scholarly Commons | School of Hotel Administration; Cornell University Research (2)
- Universidad de Alicante (1)
- Universidad Politécnica de Madrid (3)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Técnica de Lisboa (1)
- Université de Montréal, Canada (5)
- University of Michigan (20)
- University of Queensland eSpace - Australia (14)
- University of Southampton, United Kingdom (1)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Relevância:
Resumo:
This article explains these choices and their place in modern automated deduction.
