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...Journal of automated reasoning, 2017, Vol.58 (1), p.3-31
2017
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2016-10, Vol.38 (4), p.1-50, Article 13
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-06, Vol.51 (1), p.27-56
2013
Volltextzugriff (PDF)
Journal of automated reasoning, 2013, Vol.51 (1), p.27-56
2013
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.140-155
Volltextzugriff (PDF)
Automated Reasoning, p.184-191
Volltextzugriff (PDF)
Automated Reasoning, p.225-240
Volltextzugriff (PDF)
Automated Deduction – CADE-23, p.422-438
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.237-252
Volltextzugriff (PDF)
Proceedings of the 14th symposium on Principles and practice of declarative programming, 2012, p.1-12
2012
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.636-651
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.1-1
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Artificial Intelligence
- Complexity
- Complexity Analysis
- Term Rewriting
- Artificial Intelligence
- Computer Science, Software Engineering
- Dependency Pair
- Integers
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Prolog
- Runtime Complexity
- Symbolic And Algebraic Manipulation
- Termination Analysis
- Alternations
- Applied Sciences
- Automated Complexity Analysis
Kollektion
Zeitschrift / Serie