Heuristic Search over Program Transformations
Zinn, Claus 2015 Bibliothek der Universität Konstanz
- Link zu diesem Datensatz
- https://d-nb.info/1096198266
- Titel
- Heuristic Search over Program Transformations
- Art des Inhalts
- Monographie
- Verfassangaben
- Claus Zinn
- Autor
- Zinn, Claus
- Verlag
- Konstanz : Bibliothek der Universität Konstanz [2015]
- Jahr
- Erscheinungsdatum: 2015
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:352-0-295797
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- In: Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013 ; Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11–13, 2013, Revised Selected Papers / Hanus, Michael et al. (Hrsg.). - Cham : Springer, 2014. - (Lecture Notes in Artificial Intelligence ; 8439). - S. 234-249. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-08908-9. - In: KDPD 2013 : Kiel Declarative Programming Days 2013, 11. Sep 2013 - 13. Sep 2013, Kiel
- Stand
- 02.12.2025 12:08
- Im Katalog seit
- 06.03.2026