Resultados de 1 a 10 de 150 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (132)
- Revistas revisadas por pares (106)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic and ComputationRăzvan DiaconescuMDPI - Multidisciplinary Digital Publishing Institute 2023Acesso online |
| 2 |
Material Type: Livro
|
|
Recent Trends in Algebraic Development TechniquesCodescu Rzvan Diaconescu; Răzvan Diaconescu; Ionut Tutu; Ionuț ȚuțuSpringer International Publishing 2015Acesso online |
| 3 |
Material Type: Livro
|
|
Institution-independent Model TheoryRazvan Diaconescu Hajnal Andréka; Jean-Yves Beziau; Mark BurginSpringer Basel AG 2008Acesso online |
| 4 |
Material Type: Artigo
|
|
Translation structures for fuzzy model theoryDiaconescu, RăzvanFuzzy sets and systems, 2024-03, Vol.480, p.108866, Article 108866 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Livro
|
|
Logic and ComputationDiaconescu, RăzvanBasel: MDPI - Multidisciplinary Digital Publishing Institute 2023Sem texto completo |
| 6 |
Material Type: Artigo
|
|
Generalised graded interpolationDiaconescu, RăzvanInternational journal of approximate reasoning, 2023-01, Vol.152, p.236-261 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Partialising InstitutionsDiaconescu, RăzvanApplied categorical structures, 2023-12, Vol.31 (6), Article 46 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Representing 3/2-Institutions as Stratified InstitutionsDiaconescu, RăzvanMathematics (Basel), 2022-05, Vol.10 (9), p.1507 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Functorial semantics of first-order viewsDiaconescu, RăzvanTheoretical computer science, 2016-12, Vol.656, p.46-59 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Permutation Groups Generated by γ-CyclesDiaconescu, RăzvanAxioms, 2022-10, Vol.11 (10), p.528 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
Resultados de 1 a 10 de 150 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (132)
- Revistas revisadas por pares (106)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (116)
- Book Chapters (15)
- Livros (8)
- Imagens (3)
- Anais de Congresso (3)
- Conjunto de Dados (2)
- Dissertações (1)
- Web Resources (1)
- Resenhas (1)
-
Mais opções
Assunto
- Science & Technology (72)
- Computer Science (43)
- Technology (38)
- Mathematics (29)
- Computer Science, Theory & Methods (28)
- Life Sciences & Biomedicine (24)
- Logic (22)
- Applied Sciences (17)
- Exact Sciences And Technology (17)
- Computer Science; Control Theory; Systems (17)
- Institution Theory (17)
- Physical Sciences (16)
- Humans (16)
- Theoretical Computing (15)
- Science & Technology - Other Topics (14)
- Semantics (13)
- Software Engineering (13)
- Female (12)
- Institutions (12)
- Algebraic Specification (11)
-
Mais opções
Autor/Criador
- Diaconescu, R (3)
- Codescu (1)
- Burgin, M (1)
- Țuțu, I (1)
- Beziau, J (1)
- Andréka, H (1)
- Tutu, I (1)
-
Mais opções
Data de Publicação
- Antes de1999 (10)
- 1999Até2005 (29)
- 2006Até2011 (25)
- 2012Até2018 (40)
- Após 2018 (46)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (64)
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals (56)
- ScienceDirect (41)
- DOAJ Directory of Open Access Journals (31)
- ROAD: Directory of Open Access Scholarly Resources (21)
- Single Journals (17)
- SpringerLINK Lecture Notes in Computer Science (2015) (15)
- Journals@Ovid Ovid Full Text (13)
- Gale Academic OneFile (12)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (12)
- Springer Online Journals Complete (12)
- Springer Nature - Springer Journals All 2022 (11)
- Computers & Applied Sciences Complete (11)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (11)
- IngentaConnect Journals (10)
- Springer Books (10)
- Medline Complete (10)
- HighWire Press (Free Journals) (9)
- American Society of Hematology (8)
- Oxford Journals Current Collection (7)
-
Mais opções
Idioma
- Japonês (10)
- Romeno (1)
-
Mais opções
Nome da Publicação
- Theoretical Computer Science (8)
- Blood (7)
- Journal Of Logic And Computation (7)
- Mathematical Structures In Computer Science (5)
- Arxiv.Org (5)
- Information Processing Letters (5)
- Analele Universităţii Constantin Brâncuşi Din Târgu Jiu : Seria Economie (5)
- Arxiv (4)
- Biology Of Blood And Marrow Transplantation (3)
- Chirurgia (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 