Для студентов СПбГУ по предмету Физико-математические наукиАвтоматический логический вывод в интуиционистских логических исчислениях обратным методом МасловаАвтоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
2019-06-292019-06-29СтудИзба
Диссертация: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
Описание
Описание файла отсутствует
Характеристики диссертации
Тип
Предмет
Учебное заведение
Семестр
Просмотров
103
Скачиваний
0
Размер
3,92 Mb
Список файлов
- Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
- Автореферат.pdf 1,16 Mb
- Диссертация.pdf 3,43 Mb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать