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"
}