Ján Komara Name: Ing. Ján Komara teacher Section: Section of Declarative Programming Phone: +421 2 602 95 727 Email: komarafmph.uniba.sk Office: i16 Address: Ing. Ján KomaraDepartment of Applied InformaticsFMFI UKMlynská dolina824 48 BratislavaSlovakia Web: homepage Teaching none Research none Publications none Responsible for pages: Introduction_to_Mathematical_Logic_for_Programmers Jan_Komara Mathematics_1_-_Introduction_to_Mathematical_Reasoning Specification_and_Verification_of_Programs Theory_of_Declarative_Programming Revision as of 11:32, 26 August 2008 by Blaho (Talk | contribs) (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff) Category: Section of Declarative Programming