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


Publications

Súbor:Guller.pdf