Markót Mihály Csaba (Bécsi Egyetem, Matematika Tanszék): Számítógépes bizonyítási eljárások pakolási problémák megoldására

2019. 04. 04. 14:15 - 2019. 04. 04. 15:45

BME H-406

-

-

-

-

Event type: seminar

Intézeti: Külföldi

-

-