d (New page: = Uniformá implementácia unifikačných algoritmov = <small>(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)</small> Kompilačno-imp...) |
d |
||
| Riadok 1: | Riadok 1: | ||
| − | = | + | = Uniformná implementácia unifikačných algoritmov = |
<small>(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])</small> | <small>(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])</small> | ||
Verzia zo dňa a času 14:09, 19. september 2008
Uniformná implementácia unifikačných algoritmov
(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)
Kompilačno-implementačná práca
Student ma implementovat zakladne unifikacne algoritmy vo funkcionalnom, resp. objektovom jazyku. Vysledkom je autorova uniformna kniznica algoritmov a prezentacia pre vysok.kurz.