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 logical and algebraic methods in programming, 2024-06, Vol.139, p.100974, Article 100974
2024
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.76-87
2003
Volltextzugriff (PDF)
Automated software engineering, 2022-05, Vol.29 (1), p.7, Article 7
2022
Volltextzugriff (PDF)
Theory and practice of logic programming, 2024-01, Vol.24 (1), p.57-109
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2021-11, Vol.123, p.100700, Article 100700
2021
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-01, Vol.110, p.100497, Article 100497
2020
Volltextzugriff (PDF)
Swarm and evolutionary computation, 2022-02, Vol.68, p.100982, Article 100982
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36
2012
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100727, Article 100727
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100728, Article 100728
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2023-08, Vol.134, p.100887, Article 100887
2023
Volltextzugriff (PDF)
Theory and practice of logic programming, 2020-01, Vol.20 (1), p.44-98
2020
Volltextzugriff (PDF)
Science of computer programming, 2016-09, Vol.126, p.1-2
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-04, Vol.60 (4), p.421-463
2018
Volltextzugriff (PDF)
Theoretical computer science, 2008-08, Vol.403 (2), p.239-264
2008
Volltextzugriff (PDF)
Science of computer programming, 2015-03, Vol.99, p.1-2
2015
Volltextzugriff (PDF)
Theoretical computer science, 2002-08, Vol.285 (2), p.121-154
2002
Volltextzugriff (PDF)
Formal Methods, p.240-259
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2020, Vol.12328, p.156-175
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Programming / Software Development
- Mathematical Theory Of Computation
- Logic
- Science & Technology - Other Topics
- Maude
- Programming & Scripting Languages: General
- Rewriting Logic
- Software Engineering
- Mathematics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Physical Sciences
- Mathematics, Applied
- Theoretical Computing
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Online Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- Cambridge Journals Online (DEFF)
- Oxford Journals
- ACM Digital Library Complete
- IngentaConnect Journals
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Journal Of Logical And Algebraic Methods In Programming
- The Journal Of Logic And Algebraic Programming
- Journal Of Logic And Computation
- The journal Of Logic And Algebraic Programming
- Formal Methods In System Design
- Science Of Computer Programming
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Theory And Practice Of Logic Programming
Neu hinzugefügt