817 resultados para Computer-Assisted Proofs
Filtro por publicador
-
Aberystwyth University Repository - Reino Unido (1)
-
Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España
(1)
-
AMS Tesi di Dottorato - Alm@DL - Università di Bologna
(1)
-
AMS Tesi di Laurea - Alm@DL - Università di Bologna
(6)
-
Applied Math and Science Education Repository - Washington - USA
(2)
-
Aquatic Commons
(1)
-
Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco
(3)
-
Aston University Research Archive (14)
-
Biblioteca de Teses e Dissertações da USP (1)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (12)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (4)
-
Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ
(1)
-
Bioline International (1)
-
BORIS: Bern Open Repository and Information System - Berna - Suiça (205)
-
Brock University, Canada (14)
-
Bulgarian Digital Mathematics Library at IMI-BAS (5)
-
Cambridge University Engineering Department Publications Database (16)
-
CentAUR: Central Archive University of Reading - UK (13)
-
Chinese Academy of Sciences Institutional Repositories Grid Portal (7)
-
Cochin University of Science & Technology (CUSAT), India (3)
-
Coffee Science - Universidade Federal de Lavras (1)
-
CORA - Cork Open Research Archive - University College Cork - Ireland
(3)
-
Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
-
Department of Computer Science E-Repository - King's College London, Strand, London
(5)
-
DI-fusion - The institutional repository of Université Libre de Bruxelles
(3)
-
Digital Commons at Florida International University (12)
-
Digital Peer Publishing (4)
-
DigitalCommons@The Texas Medical Center (20)
-
Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
-
Duke University (36)
-
Fachlicher Dokumentenserver Paedagogik/Erziehungswissenschaften
(2)
-
Glasgow Theses Service (1)
-
Helda - Digital Repository of University of Helsinki
(11)
-
Hospitais da Universidade de Coimbra
(1)
-
Indian Institute of Science - Bangalore - Índia (3)
-
Instituto Nacional de Saúde de Portugal (1)
-
Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
-
Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
-
Ministerio de Cultura, Spain (7)
-
National Center for Biotechnology Information - NCBI (5)
-
Nottingham eTheses
(2)
-
Open University Netherlands
(2)
-
Portal de Revistas Científicas Complutenses - Espanha (6)
-
Publishing Network for Geoscientific & Environmental Data (1)
-
QSpace: Queen's University - Canada
(1)
-
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (41)
-
Queensland University of Technology - ePrints Archive
(67)
-
Repositorio Académico de la Universidad Nacional de Costa Rica
(1)
-
Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
-
Repositório digital da Fundação Getúlio Vargas - FGV (1)
-
Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT)
(3)
-
Repositório Institucional dos Hospitais da Universidade Coimbra (1)
-
Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (149)
-
Repositorio Institucional Universidad EAFIT - Medelin - Colombia (1)
-
RIBERDIS - Repositorio IBERoamericano sobre DIScapacidad - Centro Español de Documentación sobre Discapacidad (CEDD) (1)
-
SAPIENTIA - Universidade do Algarve - Portugal (2)
-
Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
-
School of Medicine, Washington University, United States (1)
-
Scielo España
(1)
-
Universidad de Alicante (4)
-
Universidad del Rosario, Colombia (5)
-
Universidad Politécnica de Madrid
(9)
-
Universidade de Lisboa - Repositório Aberto (1)
-
Universidade Federal do Pará (1)
-
Universidade Federal do Rio Grande do Norte
(UFRN) (1)
-
Universitat de Girona, Spain (11)
-
Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
-
Université de Lausanne, Switzerland (14)
-
Université de Montréal (1)
-
Université de Montréal, Canada (12)
-
Université Laval Mémoires et thèses électroniques
(2)
-
University of Canberra Research Repository - Australia (2)
-
University of Michigan
(19)
-
University of Queensland eSpace - Australia (13)
-
University of Southampton, United Kingdom (1)
-
University of Washington
(4)
-
WestminsterResearch - UK (1)
-
Worcester Research and Publications - Worcester Research and Publications - UK (1)