Programme Committee Member of 18th EACSL Annual Conference on Computer Science Logic (CSL 2009)

KUČERA, Antonín. Programme Committee Member of 18th EACSL Annual Conference on Computer Science Logic (CSL 2009). Programový výbor konference CSL 2009, 2009.

Základní údaje

Originální název

Programme Committee Member of 18th EACSL Annual Conference on Computer Science Logic (CSL 2009)

Název česky

Člen programového výboru konference CSL 2009

Autoři

KUČERA, Antonín

Vydání

2009

Nakladatel

Programový výbor konference CSL 2009

---

Další údaje

Jazyk

angličtina

Typ výsledku

Členství ve věd. radách, odb. grémiích, expert. komisích apod.

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

Příznaky

Mezinárodní význam