(New page: {{Person | fullname = Mgr. Ján Kľuka | caption = Ján Kľuka | image = | section = Oddelenie deklaratívneho programovania | position = učiteľ | phone = (+421 2 60...)
 
Line 14: Line 14:
  
 
=== Výskum ===
 
=== Výskum ===
* ''chýba''
+
* declarative programming techniques & implementation
 +
* logic
 +
* theorem proving
  
 
=== Publikácie ===
 
=== Publikácie ===

Revision as of 17:14, 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

Výučba

  • chýba

Výskum

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publikácie

  • chýbajú