Online-Ressource | |
Verfasst von: | Garrigue, Jacques [VerfasserIn] |
Titel: | Proceedings of the 9th international conference on Functional and logic programming |
Mitwirkende: | Hermenegildo, Manuel [MitwirkendeR] |
Institutionen: | ACM Special Interest Group on Programming Languages [MitwirkendeR] |
Verf.angabe: | Edited by Jacques Garrigue, Manuel Hermenegildo |
Verlagsort: | Berlin, Heidelberg |
Verlag: | Springer-Verlag |
Jahr: | 2008 |
Umfang: | 1 online resource (337 pages) |
Gesamttitel/Reihe: | ACM Other conferences |
ACM Digital Library | |
Fussnoten: | Title from The ACM Digital Library |
ISBN: | 978-3-540-78968-0 |
DOI: | doi:10.5555/1788446 |
URL: | Verlag: https://dl.acm.org/action/showBook?doi=10.5555/1788446 |
Inhaltstext: https://zbmath.org/?q=an:1133.68006 | |
DOI: https://doi.org/10.5555/1788446 | |
Datenträger: | Online-Ressource |
Dokumenttyp: | Konferenzschrift |
Sprache: | eng |
Sach-SW: | Computer science |
Logic | |
Program semantics | |
Logic programming and answer set programming | |
K10plus-PPN: | 1752064356 |
Lokale URL UB: | Zum Volltext |