Интерполяция и определимость в логиках конечных областей
Автореферат
Автор: Шрайнер, Павел Александрович
Название: Интерполяция и определимость в логиках конечных областей
Справка: Шрайнер, Павел Александрович. Новосибирск, 0 15 c. :
Объем: 15 стр.
Информация: Новосибирск, 0
|