Заседание №6 (22 марта 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Доклад М.А. Моор – «Базис допустимых правил вывода табличных логик. Часть 2»

Башмаков С. И.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram