> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: 30th EACSL Annual Conference on Computer Science Logic : CSL 2022, February 14-19, 2022, Göttingen, Germany (virtual conference) Weitere Titel: Abweichender Titel: CSL 2022 Abweichender Titel: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) Beteiligte: Manea, Florin [Herausgeber:in]; Simpson, Alex K. [Herausgeber:in] Erschienen: Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2022 Erschienen in: Leibniz international proceedings in informatics ; 216 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.4230/LIPIcs.CSL.2022.0 ISBN: 9783959772181 Identifikator: Schlagwörter: Theoretische Informatik > Logik > Computational logic > Logische Programmierung > Programmierlogik Entstehung: Anmerkungen: Literaturangaben Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung (CC BY)