Конечные импликативные структуры и реализуемость формул логики высказываний
Янков, Вадим Анатольевич, 1963, кандидатская диссертация
- 01.00.00 Физика и математика
Матем. ин-т им. В. А. Стеклова Акад. наук СССР, Москва
192 стр.
Другие работы по этой специальности
- Характеристика множеств значений аддитивных вектор-функций
Чуйкина, Клавдия Ивановна · Канд. наук · Моск. гор. пед. ин-т им. В. П. Потемкина
- 01.00.00 Физика и математика
- Поиск нейтринных осцилляций по каналу ν μ- ν e в эксперименте NOMAD
Валуев, Вячеслав Юрьевич · Канд. наук · Парижский университет VII имени Дени Дидро
- 01.00.00 Физика и математика
- Регулярные и рациональные отображения проективных многообразий
Америк, Екатерина · Докт. наук · Университет Пари-Сюд (Париж-11). Факультет естественных наук в ОРСЭ
- 01.00.00 Физика и математика
- Электронный, тепловой и флуктуационный транспорт в сверхпроводящих TiN и NbN микромостиках
Баева, Эльмира Миталиповна · 2022 · Канд. наук · Национальный исследовательский университет "Высшая школа экономики"
- 01.00.00 Физика и математика
- Математическое моделирование теплопереноса с учетом плавления в коническом катоде
Кретов, Вадим Игоревич · 2019 · Канд. наук · Национальный исследовательский университет "Высшая школа экономики"
- 01.00.00 Физика и математика