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.
|