CLA Group: Rozdiel medzi revíziami
| Riadok 1: | Riadok 1: | ||
== Computational Logic and Algebra Group == | == Computational Logic and Algebra Group == | ||
| − | |||
---- | ---- | ||
| − | |||
---- | ---- | ||
| − | |||
Dušan Guller | Dušan Guller | ||
---- | ---- | ||
Ivor Uhliarik | Ivor Uhliarik | ||
| + | ---- | ||
| + | == Publications == | ||
| + | [[File:Guller.pdf]] | ||
Verzia zo dňa a času 15:25, 10. október 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik