Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики

Другие работы по этой специальности

1. Взаимодействие космических протонов разных энергий с веществом : генерация сильно ионизирующих частиц

   Мурзин, Владимир Сергеевич · Канд. наук · Моск. ордена Ленина гос. ун-т им. М. В. Ломоносова

   • 01.00.00 Физика и математика
2. Характеристика множеств значений аддитивных вектор-функций

   Чуйкина, Клавдия Ивановна · Канд. наук · Моск. гор. пед. ин-т им. В. П. Потемкина

   • 01.00.00 Физика и математика
3. Поиск нейтринных осцилляций по каналу ν μ- ν e в эксперименте NOMAD

   Валуев, Вячеслав Юрьевич · Канд. наук · Парижский университет VII имени Дени Дидро

   • 01.00.00 Физика и математика
4. Регулярные и рациональные отображения проективных многообразий

   Америк, Екатерина · Докт. наук · Университет Пари-Сюд (Париж-11). Факультет естественных наук в ОРСЭ

   • 01.00.00 Физика и математика
5. Электронный, тепловой и флуктуационный транспорт в сверхпроводящих TiN и NbN микромостиках

   Баева, Эльмира Миталиповна · 2022 · Канд. наук · Национальный исследовательский университет "Высшая школа экономики"

   • 01.00.00 Физика и математика