"Babes-Bolyai" University of Cluj-Napoca
Faculty of Mathematics and Computer Science

Automated theorem proving
Code
Semes-
ter
Hours: C+S+L
Credits
Type
Section
MI369
2
2+2+1
9
compulsory
Metode formale în programare - în limba engleză
Teaching Staff in Charge
Prof. TATAR Doina, Ph.D.,  dtatarcs.ubbcluj.ro
Aims
References
Assessment