Treffer: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)

Titel:

33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) / Herausgeber: Jörg Endrullis, Sylvain Schmitz

Verantwortlich:

Veröffentlicht:

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

LIPIcs - Leibniz International Proceedings in Informatics ; Volume 326

ISBN:

9783959773621

Zusatz-Informationen