Treffer: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Titel:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) / Herausgeber: Aniello Murano, Alexandra Silva
Verantwortlich:
Veröffentlicht:
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 288
ISBN:
9783959773102