skip to main content

Sair
Identificação

Idioma:

Resultados de 1 a 10 de 600 para Busca Geral

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (543)

Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		The UNITE database for molecular identification of fungi – recent updates and future perspectives Abarenkov, Kessy ; Nilsson, R. Henrik ; Larsson, Karl-Henrik ; Alexander, Ian J. ; Eberhardt, Ursula ; Erland, Susanne ; Høiland, Klaus ; Kjøller, Rasmus ; Larsson, Ellen ; Pennanen, Taina ; Sen, Robin ; Taylor, Andy F. S. ; Tedersoo, Leho ; Ursing, Björn M. ; Vrålstad, Trude ; Liimatainen, Kare ; Peintner, Ursula ; Kõljalg, Urmas The New phytologist, 2010-04, Vol.186 (2), p.281-285 [Periódico revisado por pares] Oxford, UK: Blackwell Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo		Protax-fungi: a web-based tool for probabilistic taxonomic placement of fungal internal transcribed spacer sequences Abarenkov, Kessy ; Somervuo, Panu ; Nilsson, R. Henrik ; Kirk, Paul M. ; Huotari, Tea ; Abrego, Nerea ; Ovaskainen, Otso The New phytologist, 2018-10, Vol.220 (2), p.517-525 [Periódico revisado por pares] England: New Phytologist Trust Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		POPLMark reloaded: Mechanizing proofs by logical relations ABEL, ANDREAS ; ALLAIS, GUILLAUME ; HAMEER, ALIYA ; PIENTKA, BRIGITTE ; MOMIGLIANO, ALBERTO ; SCHÄFER, STEVEN ; STARK, KATHRIN Journal of functional programming, 2019, Vol.29, Article e19 [Periódico revisado por pares] Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Leibniz equality is isomorphic to Martin-Löf identity, parametrically ABEL, ANDREAS ; COCKX, JESPER ; DEVRIESE, DOMINIQUE ; TIMANY, AMIN ; WADLER, PHILIP Journal of functional programming, 2020, Vol.30, Article e17 [Periódico revisado por pares] Cambridge, UK: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance Abel, Andreas ; Coquand, Thierry ; Pagano, Miguel Logical methods in computer science, 2011-01, Vol.7, Issue 2 (2) [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized Abel, Andreas ; Danielsson, Nils Anders ; Eriksson, Oskar Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.920-954, Article 220 [Periódico revisado por pares] New York, NY, USA: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		Well-founded recursion with copatterns and sized types ABEL, ANDREAS ; PIENTKA, BRIGITTE Journal of functional programming, 2016-01, Vol.26, Article e2 [Periódico revisado por pares] Cambridge, UK: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		Digital Twin Integrated Reinforced Learning in Supply Chain and Logistics Abideen, Ahmed Zainul ; Sundram, Veera Pandiyan Kaliani ; Pyeman, Jaafar ; Othman, Abdul Kadir ; Sorooshian, Shahryar Logistics, 2021-12, Vol.5 (4), p.84 [Periódico revisado por pares] Basel: MDPI AG Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Artificial intelligence as the next step towards precision pathology Acs, B. ; Rantalainen, M. ; Hartman, J. Journal of internal medicine, 2020-07, Vol.288 (1), p.62-81 [Periódico revisado por pares] England: Blackwell Publishing Ltd Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		In-Motion-App for remote General Movement Assessment: a multi-site observational study Adde, Lars ; Brown, Annemette ; van den Broeck, Christine ; DeCoen, Kris ; Eriksen, Beate Horsberg ; Fjørtoft, Toril ; Groos, Daniel ; Ihlen, Espen Alexander F ; Osland, Siril ; Pascal, Aurelie ; Paulsen, Henriette ; Skog, Ole Morten ; Sivertsen, Wiebke ; Støen, Ragnhild BMJ open, 2021-03, Vol.11 (3), p.e042147-e042147 [Periódico revisado por pares] England: BMJ Publishing Group LTD Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 600 para Busca Geral

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Revistas revisadas por pares (543)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento