Sortiert nach
European journal of cancer (1990), 2022-02, Vol.162, p.170-181
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.311 (Proc. ARCADE 2019), p.25-31
2019
Volltextzugriff (PDF)
Automated Reasoning, Vol.5195, p.364-379
Volltextzugriff (PDF)
Logical methods in computer science, 2013-11, Vol.9, Issue 4
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.225 (Proc. TERMGRAPH 2016), p.25-34
2016
Volltextzugriff (PDF)
Science of computer programming, 2020-01, Vol.185, p.102306, Article 102306
2020
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.255-269
Volltextzugriff (PDF)
Journal of logic and computation, 2017-03, Vol.27 (2), p.469-495
2017
Volltextzugriff (PDF)
Information and computation, 2016-06, Vol.248, p.22-55
2016
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261, p.116-143
2018
Volltextzugriff (PDF)
Machine learning, 2024-07
2024
Volltextzugriff (PDF)
Archive for mathematical logic, 2024-02, Vol.63 (1-2), p.89-118
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 172
2020
Volltextzugriff (PDF)
Functional and Logic Programming, 2018, Vol.10818, p.214-229
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2011-07, Vol.7, Issue 3
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1050-1072, Article 149
2023
Volltextzugriff (PDF)
Rewriting and Typed Lambda Calculi, 2014, p.257-271
2014
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.37-55
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-04, Vol.248
2017
Volltextzugriff (PDF)
American journal of hypertension, 2024-07, Vol.37 (8), p.604-611
2024
Volltextzugriff (PDF)
Theoretical computer science, 2015-06, Vol.585, p.3-24
2015
Volltextzugriff (PDF)
Mathematical structures in computer science, 2022-06, Vol.32 (6), p.794-826
2022
Volltextzugriff (PDF)
European journal of clinical investigation, 2024-07, p.e14285
2024
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.407-423
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.784-809, Article 122
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Humans
- Computer Science
- Computer Science, Theory & Methods
- Male
- Female
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Adult
- Middle Aged
- Aged
- Biological And Medical Sciences
- Medical Sciences
- Animals
- Physical Sciences
- Science & Technology - Other Topics
- Adolescent
- General & Internal Medicine
Kollektion
- IngentaConnect
- MEDLINE
- EZB Electronic Journals Library
- SpringerLink Series
- RCN full-text journals@Ovid
- Elsevier ScienceDirect Journals
- Wiley Online Library Database Model
- IngentaConnect Journals
- Wiley Online Library
- SpringerLink (Online service)
- Ebook Central Perpetual and DDA
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- eBooks on EBSCOhost
- JSTOR
- Sage Publications
- ACM Digital Library
- IEL
- Springer Nature - Connect here FIRST to enable access
Zeitschrift / Serie
Neu hinzugefügt