Výsledky vyhľadávania

Vyhovujúce názvy stránok

Jan Sefranek

| image = Sefranek.jpg | email = sefranek[[Image:zavinac.gif|@]]fmph.uniba.sk

1 KB (138 slov) - 07:13, 21. august 2008
Jan Sefranek/sk

| image = Sefranek.jpg | email = sefranek[[Image:zavinac.gif|@]]fmph.uniba.sk

1 KB (131 slov) - 13:41, 7. apríl 2010
Jan Sefranek/en

| image = Sefranek.jpg | email = sefranek[[Image:zavinac.gif|@]]fmph.uniba.sk

903 bytes (93 slov) - 09:29, 1. apríl 2010

Zhody v textoch stránok

KR Seminar

...bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' in room '''TBA'''. General subject of the se | who = Jan Sefranek

5 KB (635 slov) - 15:39, 10. december 2014
KR Group

*[[Jan Sefranek|Ján Šefránek]] * [http://www.ii.fmph.uniba.sk/~sefranek/online/paper8.WLP11.pdf Monika Adamová, Ján Šefránek: Transfer of argum

11 KB (1 469 slov) - 08:17, 7. október 2015
Bachelor program in Applied Informatics 2010--2015/sk

...[[Information Systems Development|Tvorba informačných systémov]]||[[Jan Sefranek|Šefránek J.]]|| ||3/Z||K4||6||50/50 ...r Logic|Úvod do výpočtovej logiky]]||[[Martin Homola|Homola M.]], [[Jan Sefranek|Šefránek J.]] || ||2/L ||P2,C2||5||50/50 '''S'''

20 KB (2 683 slov) - 16:54, 26. august 2015
Master program in Cognitive Science past/en

|2-IKV-261||[[Logic and Cognitive Science]]||[[Jan Sefranek|Šefránek J.]] ||2-IKV-103!||1/S||L2,S1||5||50/50

7 KB (839 slov) - 13:13, 26. august 2015
Master program in Cognitive Science past/sk

|2-IKV-261||[[Logic and Cognitive Science|Logika a kognitívna veda]]||[[Jan Sefranek|Šefránek J.]] ||2-IKV-103!||1/S||L2,S1||5||50/50

7 KB (954 slov) - 21:05, 17. september 2015
Master program in Applied Informatics/en

...ect Seminar 1|Project Seminar (1)]]||[[Milan Ftacnik|Ftáčnik M.]], [[Jan Sefranek|Šefránek J.]], [[Pavol Voda|Voda P.]] || ||1/S ||S2||3||100/0 ...ect Seminar 2|Project Seminar (2)]]||[[Milan Ftacnik|Ftáčnik M.]], [[Jan Sefranek|Šefránek J.]], [[Pavol Voda|Voda P.]] || ||2/W ||S2||3||100/0

9 KB (1 153 slov) - 16:32, 4. september 2015
Introduction to Computational Logic/en

| teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

947 bytes (121 slov) - 17:34, 12. február 2014
Symbolic Programming and LISP/en

| teacher = [[Martin Balaz|RNDr. Martin Baláž]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

875 bytes (109 slov) - 14:27, 12. február 2010
Answer Set Programming/en

| teacher = [[Martin Baláž|RNDr. Martin Baláž]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

796 bytes (102 slov) - 12:10, 10. september 2008
Logic for Artificial Intelligence/en

| teacher = [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

616 bytes (73 slov) - 15:55, 24. august 2008
Artificial Intelligence Seminar 1/en

| teacher = [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

764 bytes (100 slov) - 13:44, 7. apríl 2010
Project Seminar 1/en

| teacher = [[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = durikovic[[Image:zavinac.gif|@]]fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

954 bytes (129 slov) - 12:51, 10. máj 2011
Project Seminar 2/en

| teacher = [[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]], [[Pavol Voda|doc. RNDr. Pavol Voda, CSc | email = ftacnik[[Image:zavinac.gif|@]]fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, voda[[Image:zavinac.gif|@]]fmph.uni

1 KB (150 slov) - 14:44, 12. február 2009
Representation Knowledge Reasoning/en

| teacher = [[Jan Sefranek|doc. RNDr. Ján Šefránek, PhD.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

806 bytes (97 slov) - 08:57, 21. február 2012
Logic and Cognitive Science/en

| teacher = [[Jan Sefranek|doc. RNDr. Ján Šefránek, CSc.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

842 bytes (109 slov) - 16:34, 24. august 2008
Introduction to Computational Logic/sk

| teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

926 bytes (129 slov) - 17:35, 12. február 2014
Answer Set Programming/sk

| teacher = [[Martin Baláž|RNDr. Martin Baláž]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

841 bytes (108 slov) - 21:42, 15. september 2008
Logic for Artificial Intelligence/sk

| teacher = [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

660 bytes (79 slov) - 21:32, 20. august 2008
Artificial Intelligence Seminar 1/sk

| teacher = [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

738 bytes (98 slov) - 21:47, 20. august 2008
Representation Knowledge Reasoning/sk

| teacher = [[Jan Sefranek|doc. RNDr. Ján Šefránek, PhD.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk

830 bytes (110 slov) - 08:57, 21. február 2012