Применение методов булевозначных интерпретаций к задаче существования неподвижных точек

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование