Диагностирование управляющих логических устройств на основе процедуры машинного доказательства теорем в исчислении высказываний
- Автор:
Галин, Александр Борисович
- Шифр специальности:
05.13.01
- Научная степень:
Кандидатская
- Год защиты:
1984
- Место защиты:
Ростов-на-Дону
- Количество страниц:
147 c. : ил
Стоимость:
700 р.250 руб.
до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы
Диссертационная работа «Диагностирование управляющих логических устройств на основе процедуры машинного доказательства теорем в исчислении высказываний», автор — Галин, Александр Борисович, относится к типу: кандидатская диссертация по специальности 05.13.01. Работа подготовлена в городе Ростов-на-Дону в 1984 году. Объем работы: 147 c. : ил. Внутренний код товара: 01003435987. На странице представлены основные сведения о диссертации, включая название, автора, год, город, тип работы и шифр специальности.
Рекомендуемые диссертации данного раздела
| Название работы | Автор | Дата защиты |
|---|---|---|
| Системный анализ, методы и модели построения интеллектуальных систем принятия решений при управлении сложными организационно-техническими комплексами | Долинина, Ольга Николаевна | 2017 |
| Изучение динамики вторичных корпускулярных потоков для медико-географического районирования курортов и районов экологического туризма | Плотникова, Наталья Владимировна | 2008 |
| Совместная обработка пространственной информации в виде цифровых карт и космических снимков для планирования противопаводковых мероприятий | Кунаков, Юрий Николаевич | 2009 |