Computational Logic and Algebra Group Dušan Guller Ivor Uhliarik DBLP Publications Súbor:Guller1.pdf Media:Guller2.pdf Media:Guller3.pdf Verzia z 16:03, 10. október 2015, ktorú vytvoril Guller (Diskusia | príspevky) (rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)