BakTema Uniformna implementacia unifikacnych algoritmov/sk: Rozdiel medzi revíziami

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:
= Uniformá implementácia unifikačných algoritmov =
+
= 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 13: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.