Bizonyításelmélet és a Coq programcsomag (BMETE91AM58/T0)

Kurzus típus: 
Elmélet
Nyelv: 
magyar
Félév: 
2020/21/2
Órarendi információ: 
Sz 16:15-18:00