|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Моделирование вычислительных процессов средствами пропозициональных логикдиссертация
- Научный консультант: Любецкий Василий Александрович
- Автор: Чагров Александр Васильевич
- Дата защиты: 1 марта 1998 года
- Шифр диссертационного совета: Д 003.29.01
- Организация: Институт прикладной математики им. М. В. Келдыша РАН
- Область знаний: Физика и математика
- Специальности: 05.13.17 - Теоретические основы информатики, 01.01.06 - Математическая логика, алгебра и теория чисел
- Тип диссертации: Докторская
- Ведущая организация: Институт прикладной математики им. М.В.Келдыша РАН
- Организация, в которой выполнялась работа: Институт проблем передачи информации им. А.А.Харкевича РАН
- Оппоненты: Журавлев Юрий Иванович, Тайцлин Михаил Абрамович, Бениаминов Евгений Михайлович
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Автореферат | 1998_Chagrov_Doctoral_thesis_Abstract.pdf | 1,3 МБ | 15 февраля 2016 | |
| 2. | Полный текст диссертации | 1997_Chagrov_Doctoral_thesis.pdf | 1,5 МБ | 15 февраля 2016 |