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