Sortiert nach
Electronic proceedings in theoretical computer science, 2023, Vol.385, p.41-54
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-12, Vol.137 (Proc. PLACES 2013), p.115-134
2013
Volltextzugriff (PDF)
Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.773-789
2019
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.131-149
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.135-156
2022
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.113-134
2022
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.92-112
2022
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.228-242
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.16-37
2022
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.157-175
2022
Volltextzugriff (PDF)
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, Vol.13290, p.60-74
2022
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.75-91
2022
Volltextzugriff (PDF)
Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems, p.386-397
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.1-18
2005
Volltextzugriff (PDF)
Science of computer programming, 2015-07, Vol.105, p.44-72
2015
Volltextzugriff (PDF)
2022 IEEE 16th International Workshop on Software Clones (IWSC), 2022, p.32-38
2022
Volltextzugriff (PDF)
2023 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2023, p.335-338
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2007-04, Vol.29 (2), p.10
2007
Volltextzugriff (PDF)
Functional and Logic Programming, p.215-219
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.35-50
Volltextzugriff (PDF)
Lecture notes in computer science, 2000, p.399-416
2000
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.90-105
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Logic Programming
- Logic Program
- Theoretical Computing
- Software
- Life Sciences & Biomedicine
- Logic
- Science & Technology - Other Topics
- Computer Science, Artificial Intelligence
- Partial Evaluation
- Humans
- Logical, Boolean And Switching Functions
- Social Sciences
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- ACM Digital Library
- MEDLINE
- IEEE Electronic Library Online
- Access via ScienceDirect (Elsevier)
- ERIC
- Taylor & Francis Online
- NUS Single-Journal Subscriptions
- Access via Taylor & Francis
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
Zeitschrift / Serie
- Journal Of Statistics Education
- Theory And Practice Of Logic Programming
- Acm Transactions On Programming Languages And Systems
- Clinical Immunology And Immunopathology
- Critical Care
- Educational Research Review
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Genes