1 resultado para Strategic choices
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- JISC Information Environment Repository (4)
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (5)
- Academic Archive On-line (Jönköping University; Sweden) (1)
- Academic Research Repository at Institute of Developing Economies (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- Aquatic Commons (15)
- Archive of European Integration (18)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (10)
- Aston University Research Archive (3)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (1)
- Boston University Digital Common (1)
- Brock University, Canada (8)
- CaltechTHESIS (4)
- Cambridge University Engineering Department Publications Database (66)
- CentAUR: Central Archive University of Reading - UK (127)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Cornell: DigitalCommons@ILR (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (3)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Archives@Colby (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons @ Winthrop University (3)
- Digital Commons at Florida International University (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (2)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (8)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (8)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (31)
- Indian Institute of Science - Bangalore - Índia (7)
- Instituto Politécnico do Porto, Portugal (5)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Massachusetts Institute of Technology (1)
- Ministerio de Cultura, Spain (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (103)
- Queensland University of Technology - ePrints Archive (192)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (8)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (14)
- SAPIENTIA - Universidade do Algarve - Portugal (3)
- The Scholarly Commons | School of Hotel Administration; Cornell University Research (1)
- Universidad del Rosario, Colombia (13)
- Universidad Politécnica de Madrid (1)
- Universitat de Girona, Spain (2)
- Université de Lausanne, Switzerland (1)
- Université de Montréal, Canada (16)
- University of Southampton, United Kingdom (2)
- WestminsterResearch - UK (7)
- 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.
