Computational Logic and Algebra Group Members: Dušan Guller Ivor Uhliarik Verzia z 15:11, 10. október 2015, ktorú vytvoril Guller (Diskusia | príspevky) (→Computational Logic and Algebra Group) (rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)