Difference between revisions of "CLA Group"
(→Computational Logic and Algebra Group) |
|||
| Line 5: | Line 5: | ||
---- | ---- | ||
| − | + | Dušan Guller | |
---- | ---- | ||
| − | + | Ivor Uhliarik | |
Revision as of 16:20, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik