Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{4057,
author = {Čepek, Ondřej and Kučera, Petr and Vlček, V.},
booktitle = {38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn},
language = {eng},
isbn = {978-3-642-27659-0},
pages = {pp. 177-189},
publisher = {Springer Verlag},
title = {Properties of SLUR Formulae. Proceedings of SOFSEM 2012},
year = {2012}
}
TY - JOUR
ID - 4057
AU - Čepek, Ondřej - Kučera, Petr - Vlček, V.
PY - 2012
TI - Properties of SLUR Formulae. Proceedings of SOFSEM 2012
PB - Springer Verlag
SN - 9783642276590
ER -
ČEPEK, Ondřej, Petr KUČERA a V. VLČEK. Properties of SLUR Formulae. Proceedings of SOFSEM 2012. In \textit{38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn}. Springer Verlag. s.~pp. 177-189. ISBN~978-3-642-27659-0. 2012.
|
