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