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.

Verzia z 13:09, 19. september 2008, ktorú vytvoril Petrovic (Diskusia | príspevky)