Sortiert nach
Publications (Basel), 2020-06, Vol.8 (2), p.24
2020
Volltextzugriff (PDF)
Revista cientifica del Centro de Investigaciones y Desarrollo Cientifico de la Universidad Distral Francisco Jose de Caldas, 2023-09, Vol.48 (3), p.56-66
2023
Volltextzugriff (PDF)
Liinc em revista, 2020-12, Vol.16 (2), p.e5400
- Amaro, Bianca
- De Freitas Campos, Fhillipe
- Dos Santos Nahuz, Luciana
- Faria Vilas Boas, Raphael
- Araujo Gomes de Sousa, Juliana
- Coelho Barreto Neto, Vanderlino
- Rodrigues Rufino Campêlo, Leonard Richard
- Nóbrega Paganine, Lucas
- Dos Santos Ribeiro, Danielly
- Jesus dos Santos, Flávio
- Ribeiro de Carvalho Segundo, Washington Luís
2020
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.235-251
Volltextzugriff (PDF)
Informação & informação, 2023-04, Vol.27 (3), p.14-33
2023
Volltextzugriff (PDF)
Informação & informação, 2023-04, Vol.27 (3), p.380-401
2023
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-03, Vol.31 (3), p.286-311
2021
Volltextzugriff (PDF)
Informação & informação, 2023-04, Vol.27 (3), p.622-638
2023
Volltextzugriff (PDF)
Ciência da informação, 2024-07, Vol.53
2024
Volltextzugriff (PDF)
Revista cientifica del Centro de Investigaciones y Desarrollo Cientifico de la Universidad Distral Francisco Jose de Caldas, 2023-09 (48), p.56
2023
Volltextzugriff (PDF)
Mobile networks and applications, 2023-08
2023
Volltextzugriff (PDF)
Data and Information in Online Environments, p.39-48
Volltextzugriff (PDF)
Anales de documentación, 2023-04, Vol.26
2023
Volltextzugriff (PDF)
BiblioCanto, 2023-12, Vol.9 (2), p.133-138
2023
Volltextzugriff (PDF)
BiblioCanto, 2023-12, Vol.9 (2), p.182-186
2023
Volltextzugriff (PDF)
Biblos (Rio Grande), 2023-11, Vol.37 (1)
2023
Volltextzugriff (PDF)
Revista interamericana de bibliotecología, 2024-04, Vol.47 (2), p.1-14
2024
Volltextzugriff (PDF)
Revista digital de biblioteconomia e ciência da informação, 2023-12, Vol.21
2023
Volltextzugriff (PDF)
Theoretical computer science, 2019-08, Vol.781, p.3-23
2019
Volltextzugriff (PDF)
Revista interamericana de bibliotecología, 2024-05, Vol.47 (2)
2024
Volltextzugriff (PDF)
Revista interamericana de bibliotecología, 2024, Vol.47 (2)
2024
Volltextzugriff (PDF)
Hipertext.net, 2023-11 (27), p.121-128
2023
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.209-226
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2019-08, Vol.344, p.47-65
2019
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2017-06, Vol.332, p.21-38
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Information Science & Library Science
- Lattes Platform
- Alpha Equivalence
- Bdtd
- C-Unification
- Commutative Theory
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Coq
- Espacenet
- Formal Methods
- Inpi
- Nominal Matching
- Nominal Syntax
- Nominal Unification
- Patentometry
Kollektion
- Free E-Journal (出版社公開部分のみ）
- IngentaConnect
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Journals@Ovid Complete
- NUS Single-Journal Subscriptions
- 2022 ECC(Springer)
Zeitschrift / Serie
- Bibliocanto
- Informação & Informação
- Revista Interamericana De Bibliotecología
- Ciência Da Informação
- Electronic Notes In Theoretical Computer Science
- Revista Cientifica Del Centro De Investigaciones Y Desarrollo Cientifico De La Universidad Distral Francisco Jose De Caldas
- Anales De Documentación
- Biblos
- Hipertext.Net
- Liinc Em Revista
Neu hinzugefügt