Katedra Podstaw Informatyki - lista publikacji