Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Logical methods in computer science, 2017-01, Vol.13 (3)
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 4
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014, Vol.164 (Proc. CL&C 2014), p.18-32
2014
Volltextzugriff (PDF)
Information processing letters, 2010-10, Vol.110 (21), p.961-965
2010
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-11
2017
Volltextzugriff (PDF)
Mathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138
2020
Volltextzugriff (PDF)
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-11
2017
Volltextzugriff (PDF)
Journal of logic and analysis, 2013, Vol.5, p.1-22
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Dependent Type Theory
- Computer Science - Logic In Computer Science
- Datavetenskap
- Mathematics
- Semantics
- Adjoints
- Algebra And Logic
- Algebra Och Logik
- Algebraic Curves
- Algorithmics. Computability. Computer Arithmetics
- Algorithms
- Applied Sciences
- Beräkningsmatematik
- Buildings
Kollektion