Материалов:
1 005 012

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

Авторов:
761 409

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

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

Логики для кросс-мировой предикации на основе D, T, S4 и S5
Мухаметшина, Индира Искандаровна
пропозициональные логики). В статье представлены семантика, табличная теория доказательства и секвенциальная теория
Логика для кросс-мировой предикации: теория доказательства
Борисов, Евгений Васильевич (философ)
табличная теория доказательства для нее и показана корректность и полнота этой теории относительно
Избранные результаты по теории алгоритмов: монография. Ч. 2
теория алгоритмов
Избранные результаты по теории алгоритмов: монография. Ч. 2
теория алгоритмов
Избранные результаты по теории алгоритмов: монография. Ч. 2
теория алгоритмов
Избранные результаты по теории алгоритмов: монография. Ч. 2
теория алгоритмов
Избранные результаты по теории алгоритмов: монография. Ч. 2
Дегтев А. Н., Тюменский государственный университет
теория алгоритмов
Избранные результаты по теории алгоритмов: монография. Ч. 2
Дегтев А. Н., Тюменский государственный университет
теория алгоритмов
Избранные результаты по теории алгоритмов: монография. Ч. 2
Дегтев А. Н., Тюменский государственный университет
теория алгоритмов
Табличная и графовая формы представления автоматов Мили и Мура
Карепов, Олег Святославович
Табличная и графовая формы представления автоматов Мили и Мура

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

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core