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