> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: 24th EACSL Annual Conference on Computer Science Logic : CSL 2015, September 7-10, 2015, Berlin, Germany Beteiligte: Kreutzer, Stephan [Herausgeber:in] Körperschaft: European Association for Computer Science Logic Erschienen: Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, September 2015 Erschienen in: Leibniz international proceedings in informatics ; 41 Umfang: 1 Online-Ressource (xviii, 665 Seiten) Sprache: Englisch DOI: 10.4230/LIPIcs.CSL.2015.i ISBN: 9783939897903 Identifikator: Schlagwörter: Theoretische Informatik > Logik > Computational logic > Logische Programmierung > Programmierlogik Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung (CC BY)