Treffer: Computer Science Logic 2013 (CSL 2013)

Titel:

Computer Science Logic 2013 (CSL 2013) / Hrsg.: Simona Ronchi Della Rocca

Verantwortlich:

Veröffentlicht:

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

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

LIPIcs - Leibniz International Proceedings in Informatics ; Volume 23

ISBN:

9783939897606

Zusatz-Informationen