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

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

Язык оригиналарусский
Название основной публикацииМеждународные Колмогоровские чтения -- XIV
Страницы43 -- 46
СостояниеОпубликовано - 2017

Цитировать