Для студентов СПбГУ по предмету Физико-математические наукиАвтоматический логический вывод в интуиционистских логических исчислениях обратным методом МасловаАвтоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
2019-06-292019-06-29СтудИзба
Кандидатская диссертация: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
Описание
Описание файла отсутствует
Характеристики диссертации кандидата наук
Предмет
Учебное заведение
СПбГУСеместр
Просмотров
103
Размер
3,92 Mb
Список файлов
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
29 июня 2019 в 21:23
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
