Formális eszközök az informatikában szeminárium
04/01
2009. április 01.
Déli épület 2.512
04/01
2009. április 01. -
Déli épület 2.512
Ádám András: Az automata-leképezések tulajdonságairól és a csatlakozó problémákról