Dr. Angel Mora Bonilla
Téma: | Automated reasoning method to solve minimal key finding problem |
Přednášející: | Dr. Angel Mora Bonilla (University of Malaga, Španělsko) |
Datum: | 29. listopadu 2012 |
Čas: | 11:30 - 13:00 |
Místo: | LP 5.006, Přírodovědecká fakulta UP v Olomouci, tř. 17. listopadu 12 |