Other formats:
BibTeX
LaTeX
RIS
@inproceedings{201495,
author = {Šmíd, Vladimír},
address = {Brno},
booktitle = {Sborník krátkých referátů ze semináře SOFSEM '89},
location = {Brno},
pages = {69-72},
publisher = {Univerzita J.E.Purkyně, Jednota československých matematiků a fyziků},
title = {Unifikace v sortovaných rovnostních teoriích},
url = {http://www.fi.muni.cz/~smid/sofsem.html},
year = {1989}
}
TY - JOUR
ID - 201495
AU - Šmíd, Vladimír
PY - 1989
TI - Unifikace v sortovaných rovnostních teoriích
PB - Univerzita J.E.Purkyně, Jednota československých matematiků a fyziků
CY - Brno
UR - http://www.fi.muni.cz/~smid/sofsem.html
ER -
ŠMÍD, Vladimír. Unifikace v sortovaných rovnostních teoriích. In \textit{Sborník krátkých referátů ze semináře SOFSEM '89}. Brno: Univerzita J.E.Purkyně, Jednota československých matematiků a fyziků, 1989, p.~69-72.
|
