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

-

BME H-406

-

-

-

-

-

-