Доповідь «Програмно-орієнтовані логіки часткових предикатів»

У вівторок 24 вересня 2013 року в Інституті філософії ім. Г. С. Сковороди НАНУ, на відділі логіки та методології науки відбудеться

доповідь
Нікітченка Миколи Степановича
та
Шкільняка Степана Степановича
на тему

«Програмно-орієнтовані логіки часткових предикатів»

Початок доповіді: 15:00.
Місце проведення: вул. Трьохсвятительська 4, 3 пов., к. 319.