Számítógépes bizonyítási eljárások pakolási problémák megoldására

Időpont: 
2019.04.04. 14:15
Előadó: 
Markót Mihály Csaba Bécsi Egyetem, Matematika Tanszék
esemeny_tipus: 
Szeminárium