Computational Logic and Algebra Group [www.dai.fmph.uniba.sk/~guller Dušan Guller] Ivor Uhliarik DBLP Publications Verzia z 16:47, 10. október 2015, ktorú vytvoril Guller (Diskusia | príspevky) (rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)