935 resultados para Proof assistants
Filtro por publicador
-
Aberdeen University (2)
-
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
(4)
-
AMS Tesi di Laurea - Alm@DL - Università di Bologna
(1)
-
Aquatic Commons
(9)
-
ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
-
Archive of European Integration (4)
-
Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco
(12)
-
Aston University Research Archive (4)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
-
Biblioteca Digital de la Universidad Católica Argentina
(2)
-
Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ
(35)
-
Biblioteca Valenciana Digital - Ministerio de Educación, Cultura y Deporte - Valencia - Espanha (5)
-
BORIS: Bern Open Repository and Information System - Berna - Suiça (38)
-
Boston University Digital Common
(2)
-
Brock University, Canada (1)
-
Bucknell University Digital Commons - Pensilvania - USA (2)
-
Bulgarian Digital Mathematics Library at IMI-BAS (3)
-
CaltechTHESIS
(29)
-
Cambridge University Engineering Department Publications Database (43)
-
CentAUR: Central Archive University of Reading - UK (17)
-
Center for Jewish History Digital Collections
(5)
-
Chinese Academy of Sciences Institutional Repositories Grid Portal (50)
-
Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
-
CUNY Academic Works (5)
-
Deakin Research Online - Australia (31)
-
Department of Computer Science E-Repository - King's College London, Strand, London
(4)
-
Digital Commons - Michigan Tech (1)
-
Digital Commons at Florida International University (2)
-
DigitalCommons@The Texas Medical Center (1)
-
DRUM (Digital Repository at the University of Maryland)
(2)
-
Duke University (2)
-
eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry
(12)
-
eScholarship Repository - University of California
(1)
-
FUNDAJ - Fundação Joaquim Nabuco (1)
-
Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
-
Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (46)
-
Greenwich Academic Literature Archive - UK (2)
-
Harvard University (5)
-
Helda - Digital Repository of University of Helsinki
(41)
-
Indian Institute of Science - Bangalore - Índia (142)
-
Institutional Repository of Leibniz University Hannover
(1)
-
Instituto Politécnico de Leiria
(1)
-
Instituto Politécnico do Porto, Portugal (3)
-
Massachusetts Institute of Technology
(1)
-
Ministerio de Cultura, Spain (5)
-
National Center for Biotechnology Information - NCBI (4)
-
Nottingham eTheses
(7)
-
QSpace: Queen's University - Canada
(1)
-
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (21)
-
Queensland University of Technology - ePrints Archive
(223)
-
Repositório digital da Fundação Getúlio Vargas - FGV (1)
-
Repositório Institucional da Universidade de Aveiro - Portugal (1)
-
Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (4)
-
Universidad Politécnica de Madrid
(4)
-
Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
-
Université de Lausanne, Switzerland (4)
-
Université de Montréal (2)
-
Université de Montréal, Canada (6)
-
University of Canberra Research Repository - Australia (1)
-
University of Michigan
(57)
-
University of Queensland eSpace - Australia (12)
-
WestminsterResearch - UK (2)
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1968/04 (N78)-1968/06.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1968.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1961/04 (N50).
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1959/07 (N43).
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1965/01 (N65)-1965/03.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1966/10 (N72)-1966/12.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1961/01 (N49).
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1964/10 (N64)-1964/12.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1967/10 (N76)-1967/12.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1967/01 (N73)-1967/03.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1961/07 (N51).
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1963/07 (N59)-1963/09.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1969/07 (N83)-1969/09.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1963/10 (N60)-1963/12.
Relevância:
20.00%
20.00%
Publicador:
Resumo:
1960/04 (N46).
