Unifikace v sortovaných rovnostních teoriích

Skip to top bar Skip to header Skip to content Skip to footer

Publications Detailed Information on Publication Record

Detailed Information on Publication Record

D 1989

Unifikace v sortovaných rovnostních teoriích

ŠMÍD, Vladimír

Basic information

Original name

Unifikace v sortovaných rovnostních teoriích

Authors

ŠMÍD, Vladimír

Edition

Brno, Sborník krátkých referátů ze semináře SOFSEM '89, p. 69-72, 1989

Publisher

Univerzita J.E.Purkyně, Jednota československých matematiků a fyziků

Other information

Type of outcome

Stať ve sborníku

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

URL

Organization unit

Rector's Office

Změněno: 2/10/2002 14:10, RNDr. JUDr. Vladimír Šmíd, CSc.

ŠMÍD, Vladimír. Unifikace v sortovaných rovnostních teoriích. In 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.

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