Formális eszközök az informatikában szeminárium
04/29
2009. április 29.
Déli épület 2.512
04/29
2009. április 29. -
Déli épület 2.512
Battyányi Péter: Normalizálás szimmetrikus logikai kalkulusokban