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...Electronic proceedings in theoretical computer science, 2019, Vol.306 (Proc. ICLP 2019), p.413-417
2019
Volltextzugriff (PDF)
Theory and practice of logic programming, 2023-07, Vol.23 (4), p.812-831
2023
Volltextzugriff (PDF)
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
2021
Volltextzugriff (PDF)
Prolog: The Next 50 Years, p.346-358
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.325, p.73-86
2020
Volltextzugriff (PDF)
Prolog: The Next 50 Years, p.48-61
Volltextzugriff (PDF)
Practical Aspects of Declarative Languages, p.250-260
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.344, p.79-90
2021
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.75-89
Volltextzugriff (PDF)
Practical Aspects of Declarative Languages, p.261-278
Volltextzugriff (PDF)
Practical Aspects of Declarative Languages, p.181-190
Volltextzugriff (PDF)
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.88-99
2024
Volltextzugriff (PDF)
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.88-99
2024
Volltextzugriff (PDF)
Proceedings of the AAAI Symposium Series, 2024-01, Vol.2 (1), p.230-232
2024
Volltextzugriff (PDF)
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023, p.1-10
2023
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2021, Vol.35 (14), p.12554-12563
2021
Volltextzugriff (PDF)
2023 Formal Methods in Computer-Aided Design (FMCAD), 2023, p.221-227
2023
Volltextzugriff (PDF)
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 2023, p.1-10
2023
Volltextzugriff (PDF)
Handbook of Approximation Algorithms and Metaheuristics, 2018, Vol.II, p.761-769
2, 2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Answer Set Programming
- Computer Science, Software Engineering
- Aerospace Electronics
- Engineering
- Engineering, Aerospace
- Faa
- Software
- Algorithms
- Artificial Intelligence
- Assurance
- Automated Flight Readiness Approval
- Autonomy
- Axioms
- C Plus Plus
- C++
- Certification
Kollektion
Zeitschrift / Serie
Neu hinzugefügt