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...Theory and practice of logic programming, 2016-03, Vol.16 (2), p.141-162
2016
Volltextzugriff (PDF)
Functional and Logic Programming, 2014, Vol.8475, p.1-17
2014
Volltextzugriff (PDF)
Journal of automated reasoning, 2017-06, Vol.59 (1), p.87-120
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.306 (Proc. ICLP 2019), p.36-51
2019
Volltextzugriff (PDF)
Logic journal of the IGPL, 2018-04, Vol.26 (2), p.203-243
2018
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2022, 2022, Vol.13572, p.462-480
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.238 (Proc. LINEARITY 2016), p.64-72
2017
Volltextzugriff (PDF)
Practical Aspects of Declarative Languages, 2023, Vol.13880, p.56-72
2023
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2022, 2022, Vol.13572, p.60-77
2022
Volltextzugriff (PDF)
RoboCup 2023: Robot World Cup XXVI, 2024, p.416-427
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-03, Vol.177 (Proc. ITRS 2014), p.24-42
2015
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.16-37
2022
Volltextzugriff (PDF)
Trends in Functional Programming, 2020, Vol.12053, p.84-120
2020
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13474, p.123-141
2022
Volltextzugriff (PDF)
Theoretical computer science, 2010-03, Vol.411 (11), p.1484-1500
2010
Volltextzugriff (PDF)
Science of computer programming, 2015-11, Vol.111, p.505-534
2015
Volltextzugriff (PDF)
Advanced Web and Network Technologies, and Applications, 2006, p.148-156
2006
Volltextzugriff (PDF)
Journal of logic and computation, 2014-06, Vol.24 (3), p.513-529
2014
Volltextzugriff (PDF)
Computer Science Logic, 2006, p.119-134
2006
Volltextzugriff (PDF)
Journal of logic and computation, 2014-06, Vol.24 (3), p.511-512
2014
Volltextzugriff (PDF)
Theoretical computer science, 2005-09, Vol.342 (1), p.79-103
2005
Volltextzugriff (PDF)
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, 2022, p.1-13
2022
Volltextzugriff (PDF)
Programming Languages and Systems, 2015, Vol.9032, p.787-811
2015
Volltextzugriff (PDF)
Future Information Technology, 2011, p.44-53
2011
Volltextzugriff (PDF)
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023, p.32-38
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic Programming
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Life Sciences & Biomedicine
- Logic
- Mathematics
- Science & Technology - Other Topics
- Abstract Interpretation
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Humans
- Intersection Types
- Lazy Evaluation
Kollektion
- IngentaConnect
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Association for Computing Machinery
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- Springer Nature - Complete Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals
- IngentaConnect Journals
- Ovid SocietyJournals and Single Titles
- IEEE Electronic Library Online
- Cambridge Journals Online (DEFF)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Taylor & Francis Online
- Business Source Ultimate
- Nexis Uni
- Nature
Zeitschrift / Serie
- Cultivos Tropicales
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Higher-Order And Symbolic Computation
- Journal Of Logic And Computation
- Theoretical Computer Science
- Acm Sigplan Notices
- Aids Research And Human Retroviruses
- Check List
- Electronic Proceedings In Theoretical Computer Science, Eptcs