Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: auRef=173732410
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1096198266 |
Titel | Heuristic Search over Program Transformations / Claus Zinn |
Person(en) | Zinn, Claus (Verfasser) |
Verlag | Konstanz : Bibliothek der Universität Konstanz |
Zeitliche Einordnung | Erscheinungsdatum: 2015 |
Umfang/Format | Online-Ressource |
Persistent Identifier | URN: urn:nbn:de:bsz:352-0-295797 |
URL | http://kops.uni-konstanz.de/handle/123456789/31654 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
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 |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
