Dr. Kovásznai Gergely, egyetemi docens
2018. november 30. (péntek)
| Előadások | Cím | Időpont | Helyszín |
|---|---|---|---|
| Magyar nyelvű tantermi előadás | Rezolúció elsőrendű logikában | 11.00 |
DE Informatikai épület I201-es tanterem (4028 Debrecen, Kassai út 26.) |
| Tudományos előadás | Kvantormentes bit-vektor logikák számítási bonyolultsága | 12:00 |
DE Informatikai épület I201-es tanterem (4028 Debrecen, Kassai út 26.) |
| Angol nyelvű tantermi előadás | Computational complexity of quantifier-free bit-vector logics | 12:15 |
DE Informatikai épület I201-es tanterem (4028 Debrecen, Kassai út 26.) |
Frissítés dátuma: 2018.10.11.
