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