Facultatea de Informatica IasiUniversitatea A.I.Cuza



Home Page Coordonates About Me Useful links What I teach

Logic (Romanian) (L)
Logic (English) (LE)
Logics of Belief (LB)

Specification and Verification (SV)
Methodics
(M)
Logic Programming (LP)
Workflow. Modeling, Verification, Security (WF)

Research (including Diploma works)

Designed by Adrian Mironescu