Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{36643, author = {Menšík, Marek and VÍCH, Lukáš and JAROTEK, Vladimír}, address = {Brno}, booktitle = {MENDEL}, location = {Brno}, isbn = {978-80-214-4984-8}, pages = {381-386}, publisher = {Brno University of Technology}, title = {Extensional principles in three types of context}, year = {2014} }
TY - JOUR ID - 36643 AU - Menšík, Marek - VÍCH, Lukáš - JAROTEK, Vladimír PY - 2014 TI - Extensional principles in three types of context PB - Brno University of Technology CY - Brno SN - 9788021449848 ER -
MENŠÍK, Marek, Lukáš VÍCH a Vladimír JAROTEK. Extensional principles in three types of context. In \textit{MENDEL}. Brno: Brno University of Technology, 2014, s.~381-386. ISBN~978-80-214-4984-8.
|