Распознавание свойств исчислений по правилам вывода - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Распознавание свойств исчислений по правилам вывода Доклады на конференциях

Язык

Русский

Тип доклада

Секционный

Конференция

Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г.,
20-24 нояб. 2017 , Новосибирск

Авторы

Максимова Лариса Львовна ¹ , Юн Вета Федоровна ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

Максимова Л.Л. , Юн В.Ф.
Распознавание свойств исчислений по правилам вывода
Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г., 20-24 нояб. 2017