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


Revision as of 17:51, 21 August 2008 by Blaho (Talk | contribs)