Ján Kľuka
|
Teaching
- Mathematics (4) – Logic for Computer Science
- Web Technologies and Methodology
- Linux – Principles and Means
Research
- declarative programming techniques & implementation
- logic
- theorem proving
- description logics
Publications
- see homepage