Vyhovujúce názvy stránok
Zhody v textoch stránok
- [[Jan Komara|Ján Komara]]454 B (65 slov) - 18:30, 16. jún 2010
- ...rogrammers|Úvod do matematickej logiky pre programátorov]]||[[Jan Komara|Komara J.]] || ||2/W ||C4||6||40/60 ...cation of Programs|Špecifikácia a verifikácia programov]]||[[Jan Komara|Komara J.]] || ||2/S ||C4||6||60/4013 KB (1 791 slov) - 20:56, 2. august 2010
- | teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]706 B (88 slov) - 11:15, 25. september 2015
- | teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]644 B (75 slov) - 11:23, 25. september 2015
- * [[Jan Komara|Ján Komara]] (PhD student)566 B (60 slov) - 08:31, 7. október 2015
- * [[Jan Komara|Ján Komara]]570 B (70 slov) - 08:47, 24. september 2017
- |Maroš Malý||Komara||[http://davinci.fmph.uniba.sk/~maly31/ Algoritmus deskolemizácie ] |Juraj Vetrák||Komara||[https://jurovee.github.io/thesis/ Interaktívne vyšetrovanie priebehu el5 KB (692 slov) - 17:21, 2. jún 2020
- ...atiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]881 B (108 slov) - 13:31, 22. september 2017
- |Omar Al-Shafe´i||Komara||[http://www.st.fmph.uniba.sk/~shafei2/bakalarka Implementácia algoritmu e5 KB (775 slov) - 20:57, 4. jún 2022
- ...//davinci.fmph.uniba.sk/~maly31/ Maroš Malý: Algoritmus deskolemizácie (Komara)]6 KB (970 slov) - 12:16, 2. december 2022
- ...Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]941 B (125 slov) - 11:38, 6. február 2020
- ...Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]1 KB (170 slov) - 20:23, 14. september 2022
- ...u pre sekventový kalkulus LK^h v paradigme deklaratívneho programovania (Komara)]7 KB (1 075 slov) - 12:17, 2. december 2022
- |Martin Letenay||Komara||[https://davinci.fmph.uniba.sk/~letenay7/bakalarka/BP.html Interaktívne v4 KB (476 slov) - 12:43, 1. jún 2023
Zobraziť (predošlých 20 | ďalších 20) (20 | 50 | 100 | 250 | 500).