Line 10: Line 10:
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
}}
 
}}
=== Výučba ===
+
=== Teaching ===
* ''chýba''
+
* ''none''
  
=== Výskum ===
+
=== Research ===
 
* declarative programming techniques & implementation
 
* declarative programming techniques & implementation
 
* logic
 
* logic
 
* theorem proving
 
* theorem proving
  
=== Publikácie ===
+
===   Publications ===
* ''chýbajú''
+
* ''none''
  
 
<!--
 
<!--
Line 25: Line 25:
 
<div style="font-size:7pt;">
 
<div style="font-size:7pt;">
 
----
 
----
Zodpovedný za stránky:
+
Responsible for pages:
 
*  
 
*  
 
</div>
 
</div>
 
-->
 
-->

Revision as of 17:51, 21 August 2008

Ján Kľuka

Ján Kľuka
Name: Mgr. Ján Kľuka
učiteľ
Section: Oddelenie deklaratívneho programovania
Phone: (+421 2 602 95) 869
Email: kluka@fmph.uniba.sk
Office: i34
Address: Mgr. Ján Kľuka
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

  • none

Research

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publications

  • none