1 resultado para Coq
em Université de Lausanne, Switzerland
Filtro por publicador
-
AMS Tesi di Dottorato - Alm@DL - Università di Bologna
(1)
-
AMS Tesi di Laurea - Alm@DL - Università di Bologna
(1)
-
Aston University Research Archive (1)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
-
Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (3)
-
Bibloteca do Senado Federal do Brasil (1)
-
BORIS: Bern Open Repository and Information System - Berna - Suiça (2)
-
Brock University, Canada (1)
-
Center for Jewish History Digital Collections
(1)
-
Department of Computer Science E-Repository - King's College London, Strand, London
(1)
-
Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (32)
-
Indian Institute of Science - Bangalore - Índia (1)
-
Instituto Politécnico do Porto, Portugal (1)
-
Ministerio de Cultura, Spain (1)
-
National Center for Biotechnology Information - NCBI (2)
-
QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (1)
-
Repositorio Institucional de la Universidad Nacional Agraria (4)
-
Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (3)
-
Universidad del Rosario, Colombia (1)
-
Universidad Politécnica de Madrid
(1)
-
Universidade Federal do Rio Grande do Norte
(UFRN) (1)
-
Université de Lausanne, Switzerland (1)
-
Université de Montréal, Canada (1)
-
University of Michigan
(9)
Relevância:
10.00%
10.00%
Publicador: