Семинар Катедре за рачунарство и информатику, 5. децембар 2013.

• 02. Децембар, 2013
• Коментари (0)

Наредни састанак Семинара биће одржан у четвртак, 5. децембра 2013. са почетком у 18h у сали 718 Математичког факултета.

Предавач: Предраг Јаничић, Марко Маликовић

Наслов предавања: Доказ коректности KRK (краљ-топ-краљ) стратегије завршнице у шаху свођењем на проблем SAT(приказ рада)