| Riadok 7: | Riadok 7: | ||
---- | ---- | ||
== DBLP Publications == | == DBLP Publications == | ||
| − | [[File:Guller1.pdf|page=1]] | + | [[File:Guller1.pdf|caption|page=1]] |
[[Media:Guller2.pdf]] | [[Media:Guller2.pdf]] | ||
[[Media:Guller3.pdf]] | [[Media:Guller3.pdf]] | ||
Verzia zo dňa a času 17:03, 10. október 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik