Hlavné menu
  1. DAI
  2. People
  3. Section of Declarative Programming

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 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

Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Jan_Kluka/en&oldid=12736“
Verzia z 09:15, 12. december 2014, ktorú vytvoril Kluka (Diskusia | príspevky) (Aktualizacia miestnosti a klapky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)