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

Oktató: 

Molnár Zoltán Gábor

Kurzus típus: 

Elmélet

Nyelv: 

magyar

Félév: 

2021/22/2

Órarendi információ: 

Sz 16:15-18:00 (H601)