Seminar Katedre za računarstvo i informatiku, 5. decembar 2013.

• 02. Decembar,  2013
• Komentari (0)

Naredni sastanak Seminara biće održan u četvrtak, 5. decembra 2013. sa početkom u 18h u sali 718 Matematičkog fakulteta.

Predavač: Predrag Janičić, Marko Maliković

Naslov predavanja: Dokaz korektnosti KRK (kralj-top-kralj) strategije završnice u šahu svođenjem na problem SAT(prikaz rada)

---