Материалов:
678 583

Репозиториев:
29

Авторов:
475 470

По вашему запросу найдено документов: 40137

Страница 1 из 4014

Логика для кросс-мировой предикацииЛогика для кросс-мировой предикации

Varying domain first-oder modal logicмодальная логика первого порядка

N-оператор и элиминация знака тождества в "Логико-философском трактате" Л. Витгенштейналогика первого порядка

Элиминация итеративных операторов в некоторых теориях первого порядка: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 - математическая логика, алгебра и теория чиселЭлиминация итеративных операторов в некоторых теориях первого порядка: автореферат диссертации на

Элиминация итеративных операторов в некоторых теориях первого порядка: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 - математическая логика, алгебра и теория чиселЭлиминация итеративных операторов в некоторых теориях первого порядка: автореферат диссертации на

Логика для кросс-мировой предикации полной Относительно данной семантики. Представляемая логика является модальной логикой первого порядка с

Задача Римана–Гильберта для эллиптической системы первого порядка на плоскостиЗадача Римана–Гильберта для эллиптической системы первого порядка на плоскости

Оценивание параметров модели авторегрессии первого порядка с дискретным временемОценивание параметров модели авторегрессии первого порядка с дискретным временем

Исследование обнаружения момента разладки процесса авторегрессии первого порядкаИсследование обнаружения момента разладки процесса авторегрессии первого порядка

Последовательное оценивание параметра модели устойчивой авторегрессии первого порядка с гарантированной точностьюПоследовательное оценивание параметра модели устойчивой авторегрессии первого порядка с

Страница 1 из 4014