(Aktualizacia miestnosti a klapky)
Riadok 5: Riadok 5:
 
   | section  = Section of Declarative Programming
 
   | section  = Section of Declarative Programming
 
   | position = teacher
 
   | position = teacher
   | phone    = +421 2 602 95 374
+
   | phone    = +421 2 602 95 727
   | room    = i33b
+
   | room    = I-16
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
Riadok 19: Riadok 19:
 
* logic
 
* logic
 
* theorem proving
 
* theorem proving
 +
* description logics
  
 
===  Publications ===
 
===  Publications ===
 
* see [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
* see [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
}}
 
}}

Verzia zo dňa a času 09:15, 12. december 2014

Ján Kľuka

Photo of Ján Kľuka
Name: Mgr. Ján Kľuka, PhD.
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 727
Email: kluka@fmph.uniba.sk
Office: I-16
Address: Mgr. Ján Kľuka, PhD.
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

Research

  • declarative programming techniques & implementation
  • logic
  • theorem proving
  • description logics

Publications