Skip to Content

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

Зображення користувача Ярослав Кохан.
Чт, 12/09/2013 - 21:12 — Ярослав Кохан

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

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

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

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



story | by Dr. Radut