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.) |
Legutóbb frissítve:
2021. 08. 18. 12:11