Facultatea de Informatica IasiUniversitatea A.I.Cuza



Home Page Coordonates About Me Useful links What I teach

Logic (L)
Logic Programming (LP)
Temporal Logic of Actions (TLA)
Semantics of Programming Languages (SPL)
Methodics (M)
Last update: 6 April 2007

Designed by Adrian Mironescu