Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- OCR форум - "Кибернетика - неограниченные возможности и ...
10 янв. 2011 г. — моделирования : [сб. ст.] Логика и компьютер: Моделирование рассуждений и проверка правильности программирования. Алешина Н. А. Наука, ...
publ.lib.ru - моделирование рассуждений и проверка правильности программ
Логика и компьютер: моделирование рассуждений и проверка правильности программ ... Natalii a Alʹbertovna Aleshina, Igorʹ Mikhaĭlovich Makarov. Publisher, Наука, ...
books.google.com - Абстрактный и структурный синтез распределенных систем ...
... том, что ... Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. ... Aleshina N. A., Anisov A. M., Bystrov P. I. Logika i komp'yuter ...
cyberleninka.ru - Компьютерное моделирование развития и результатов ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина H.A., Анисов A.M., Быстров П.И. и др. - М.: Наука, 1990. - 240 е ...
www.dissercat.com - Логика и компьютер. Моделирование рассуждений и ...
Моделирование рассуждений и проверка правильности программ. Автор: Алешина Н.А., Анисов А.М., Быстров П.И. и др. Издательство: М.: Наука Год: 1990. Формат: pdf
vtome.ru - Аксиоматический метод верификации на основе ...
Автор: АС Прокопенко · 2010 — -416 с. 8. Алешина, Н.А. Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст]/Н.А. Алешина, А.М. Анисов, П.И. Быстров.-М.: ...
cyberleninka.ru - Методика обучения доказательству правильности ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. М.: Наука, 1990.-240 с. 90 ...
nauka-pedagogika.com
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 7 результата(ов).