Дейности
Лабораторията, разполага със следния специализиран софтуер:
Програмите LogicAid и SimUaid, лиценз на Thomson Learning по дисциплините АСЛС и FLD.
Програмата NLParse по дисциплината ИЕЕ, дипломна разработка на студент-магистър.
Среда за програмиране на специализирания програмен език ПРОЛОГ за системи с изкуствен интелект.