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...Logic-Based Program Synthesis and Transformation, p.22-37
Volltextzugriff (PDF)
Theory and practice of logic programming, 2020-09, Vol.20 (5), p.671-686
2020
Volltextzugriff (PDF)
Theory and practice of logic programming, 2015-07, Vol.15 (4-5), p.711-725
2015
Volltextzugriff (PDF)
Theory and practice of logic programming, 2009-03, Vol.9 (2), p.145-164
2009
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Logic
- Science & Technology
- Technology
- Logic Programming
- Non-Termination
- Program Verification
- Regular Papers
- Clp
- Computation And Language
- Computer Programs
- Concolic Testing
- Constraint Logic Programming
- Constraints
- Dependency Pairs
- Dynamical Systems
- Dynamics
Kollektion
Zeitschrift / Serie