Properties of SLUR Formulae. Proceedings of SOFSEM 2012

ČEPEK, Ondřej, Petr KUČERA a V. VLČEK

38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, od s. pp. 177-189, 2012

Springer Verlag

angličtina

Stať ve sborníku

10201 Computer sciences, information science, bioinformatics

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

Vysoká škola finanční a správní

978-3-642-27659-0

AR 2011-2012, NE VŠFS

Mezinárodní význam, Recenzováno