Ján Kľuka

Ján Kľuka
Name: Mgr. Ján Kľuka, PhD.
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 374
Email: kluka@fmph.uniba.sk
Office: i33b
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

Publications

Verzia z 10:12, 14. január 2011, ktorú vytvoril Kluka (Diskusia | príspevky)