Реализация обратного метода установления выводимости для модальной логики КТ

Бурлуцкий Владимир Владимирович. Реализация обратного метода установления выводимости для модальной логики КТ : диссертация ... кандидата физико-математических наук : 05.13.01.- Томск, 2001.- 103 с.: ил. РГБ ОД, 61 02-1/796-5
Автор
Бурлуцкий Владимир Владимирович
Год
2001

  • 99 000 UZS

Рекомендуем вам товары

Информационная система для решения задач аппаратурного оформления технологии очистки сточных вод гальванических производств
99 000 UZS
Автор
Богословская Ольга Владимировна
Количество страниц
Год
2001
Модели управления вузом на основе информационных технологий
99 000 UZS
Автор
Васильев Виктор Николаевич
Количество страниц
Год
2001
Разработка топологического метода моделирования и оптимизации параметров виброзаглаживающих систем
99 000 UZS
Автор
Ковальчук Дмитрий Васильевич
Количество страниц
Год
2001
Каскадный синтез систем синергетического управления нелинейными объектами
99 000 UZS
Автор
Колесников Александр Анатольевич
Количество страниц
Год
2001
Рандомизированные алгоритмы оценивания и оптимизации при произвольных помехах
99 000 UZS
Автор
Граничин Олег Николаевич
Количество страниц
Год
2001
Новостной блок
Модули для Opencart 2, Опенкарт 3