Difference between revisions of "CLA Group"
| (29 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
== Computational Logic and Algebra Group == | == Computational Logic and Algebra Group == | ||
| − | |||
---- | ---- | ||
| − | |||
---- | ---- | ||
| − | + | [http://dai.fmph.uniba.sk/~guller Dušan Guller] | |
| − | + | ---- | |
| + | Ivor Uhliarik | ||
| + | ---- | ||
| + | == DBLP Publications == | ||
| + | |||
| + | [[File:Guller11.jpg|500px]] | ||
Latest revision as of 17:50, 10 October 2015
Computational Logic and Algebra Group
Ivor Uhliarik
DBLP Publications
