Aktualności

Seminarium KIS: czy mamy już SATysfakcję?

W środę 1 marca 2017 w godzinach od 9.35 do 11.00 w sali C2, 429 odbędzie się Seminarium Katedry Informatyki Stosowanej.

Prelegent: dr inż. Radosław Klimek, Katedra Informatyki Stosowanej Wydz. EAIiIB, AGH.

Tytuł: Solvery logiczne - czy mamy już SATysfakcję?

Streszczenie: kis_seminarium1marca2017.pdf