Treffer: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL

Titel:

Verantwortlich:

Veröffentlicht:

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

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

LIPIcs - Leibniz International Proceedings in Informatics ; Volume 16

ISBN:

9783939897422

Zusatz-Informationen