Treffer: 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

Titel:

29th EACSL Annual Conference on Computer Science Logic (CSL 2021) / Herausgeber: Christel Baier, Jean Goubault-Larrecq

Verantwortlich:

Veröffentlicht:

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

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

LIPIcs - Leibniz International Proceedings in Informatics ; Volume 183

ISBN:

9783959771757

Zusatz-Informationen