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
Veröffent­licht:
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 288
ISBN:
9783959773102