Publication Details

Obecná polymorfní logika a její složitost

TESAŘ Radek. Obecná polymorfní logika a její složitost. In: Počítačové architektury a diagnostika PAD2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 42-47. ISBN 978-80-7454-522-1.
Type
conference paper
Language
czech
Authors
Tesař Radek, Ing. (DCSY FIT BUT)
Published
2015
Pages
42-47
Proceedings
Počítačové architektury a diagnostika PAD2015
Conference
Počítačové architektury a diagnostika 2015, Zlín, CZ
ISBN
978-80-7454-522-1
Publisher
Faculty of Applied Informatics, Tomas Bata University in Zlín
Place
Zlín, CZ
BibTeX
@INPROCEEDINGS{FITPUB11053,
   author = "Radek Tesa\v{r}",
   title = "Obecn\'{a} polymorfn\'{i} logika a jej\'{i} slo\v{z}itost",
   pages = "42--47",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika PAD2015",
   year = 2015,
   location = "Zl\'{i}n, CZ",
   publisher = "Faculty of Applied Informatics, Tomas Bata University in Zl\'{i}n",
   ISBN = "978-80-7454-522-1",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/11053"
}
Back to top