Tieto stránky sú zastarané.
Aktuálne informácie nájdete na dai.fmph.uniba.sk.
These pages are outdated.
Refer to dai.fmph.uniba.sk for up-to-date information.
COLOGNET
Institute of Informatics is a member of the COLOGNET (Computational logic portal). |