Vyhovujúce názvy stránok

Zhody v textoch stránok

  • |1-AIN-505||[[Introduction to Declarative Programming]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] || ||1/S ||L1,P2||4||60/40 |1-AIN-425||[[Declarative Programming of Web Applications]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] ||1-AIN-505 ||2/W||L1,P2||4||60/40
    12 KB (1 557 slov) - 15:15, 15. február 2011
  • [[Jan Kluka|Ján Kľuka]]
    1 KB (202 slov) - 08:50, 24. október 2011
  • ...to Declarative Programming|Úvod do deklaratívneho programovania]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] || ||1/S ||L1,P2||4||60/40 ...Applications|Deklaratívne programovanie webovských aplikácií]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] ||1-AIN-505 ||2/W||L1,P2||4||60/40
    13 KB (1 791 slov) - 20:56, 2. august 2010
  • ...>A proof assistant for first-order logic</cite>]''', vedúci práce: [[Jan Kluka|Mgr. Ján Kľuka, PhD.]]
    2 KB (253 slov) - 10:56, 28. jún 2018
  • * [[Jan Kluka|Ján Kľuka]]
    566 B (60 slov) - 08:31, 7. október 2015
  • * [[Jan Kluka|Ján Kľuka]]
    570 B (70 slov) - 08:47, 24. september 2017
  • :[[Jan Kluka|Ján Kľuka]]
    6 KB (948 slov) - 14:59, 8. september 2017
  • :[[Jan Kluka|Ján Kľuka]]
    6 KB (922 slov) - 15:42, 26. marec 2018
  • ...ých štruktúr pre logiku prvého rádu</cite>]''', vedúci práce: [[Jan Kluka|Mgr. Ján Kľuka, PhD.]]
    1 KB (234 slov) - 13:33, 10. júl 2023

Zobraziť (predošlých 20 | ďalších 20) (20 | 50 | 100 | 250 | 500).