Ján Kľuka

Ján Kľuka
Meno: Mgr. Ján Kľuka
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 869
Email: kluka@fmph.uniba.sk
Miestnosť: i34
Adresa: Mgr. Ján Kľuka
Katedra aplikovanej informatiky
FMFI UK
Mlynská dolina
824 48 Bratislava
Web: homepage

Výučba

  • chýba

Výskum

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publikácie

  • chýbajú
Revision as of 10:28, 26 August 2008 by Blaho (Talk | contribs)