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

Oktató: 

Molnár Zoltán Gábor

Kurzus típus: 

Elmélet

Nyelv: 

magyar

Félév: 

2020/21/2

Órarendi információ: 

Sz 16:15-18:00