Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- Логика и компьютер. Моделирование рассуждений...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Автор: Анисов А.М. | Логика. Выберите формат
klex.ru - Логика и компьютер: моделирование рассуждений...
Логика и компьютер: моделирование рассуждений и проверка правильности программ. Алешина Н.А., Анисов А.М., Быстров П.И.
m.booksee.org - Канцтовары
Канцтовары: бумага, ручки, карандаши, тетради. Ранцы, рюкзаки, сумки. И многое другое.
my-shop.ru - Логика и компьютер. Моделирование рассуждений...
Название: Логика и компьютер. Моделирование рассуждений и проверка правильности программАвтор: Алешина Н.А., Анисов А.М., Быстров П.И. и др.Издательство: М.: НаукаГод: 1990Формат: pdfСтраниц: 240 Размер...
vtome.ru - Only SOFT — Telegram
Подписчиков: 1,7 тыс. Моделирование рассуждений и проверка правильности программ [1990, PDF,...
t.me - «Кибернетика - неограниченные возможности...»
Моделирование рассуждений и проверка правильности программ. Н.А. Алешина и др. (1990) * Лотов А.В. Компьютер и поиск компромисса: метод достижимых целей.
publ.lib.ru - nzdr.ru/data/media/biblio/kolxoz/M/MPop/Aleshina...
Ю.И. ЖУРАВЛЕВ Логика и компьютер. Моделирование рассуждений и про- Л69 верка правильности программ / Н.А. Алешина, A.M. Анисов, П.И. Быстров и др.-М.: Наука, 1990.
- Логика и компьютер: моделирование рассуждений...
Читайте онлайн или скачайте бесплатно из Z-Library книгу: Логика и компьютер: моделирование рассуждений и проверка правильности программ, Автор: Алешина Н.А., Анисов А.М., Быстров П.И., ISBN: 9785020071568, Год...
ru.z-library.sk - Скачать Алешина Н.А., Анисов А.М., Быстров П.И. и др....
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Файл формата djvu. размером 6,62 МБ.
n.eruditor.one - Логика и компьютер: моделирование рассуждений...
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические...
thelib.net - Логика и компьютер. Моделирование рассуждений...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Алешина Н.А, Анисов А.М., Быстров П.И. и др.
litbit.ru - [elib_title_lib_document] - Научно-информационный центр...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Н.А.Алешина,А.М.Анисов,П.И.Быстров и др. ... Рубрики: Математическая логика. Программы для ЭВМ--Верификация.
lib.dm-centre.ru - Литрес, Litres – большая библиотека электронных книг, где можно купить, скачать и читать онлайн бесплатно
Литрес - это самая большая библиотека электронных книг. Покупай, скачивай, читай и слушай лицензионные электронные книги и аудиокниги для компьютеров, телефонов и планшетов. На Litres публикуются отзывы, рейтинги книг, рекомендации, рецензии, информация об авторах.
www.litres.ru - My-shop.ru – купить книги, учебники, пособия. Здесь можно заказать и купить книги, новинки, бестселлеры с доставкой по всей России
Интернет-магазин My-shop.ru - интернет магазин, где можно купить более 700 тысяч книг любого жанра, автора и тематики. Учебники по выгодным ценам с доставкой в Москве, Санкт-Петербурге и других городах России! Книги почтой с доставкой на дом и самовывозом.
my-shop.ru - Интернет-магазин канцтоваров
Канцтовары. Низкие цены на любые канцтовары для детей и взрослых, для работы и учёбы. Письменные принадлежности. Карандаши, ручки, стержни, фломастеры, чернила, тушь, маркеры – любые письменные принадлежности. Бумажные канцтовары. Широкий выбор тетрадей, дневников, альбомов быстро и дёшево купить бумажные канцтовары. Ранцы, рюкзаки, сумки. Всевозможные сумки и косметички, ранцы с наполнением и без, рюкзаки со скидками и сумки для ноутбуков. Канцелярские мелочи. Ластики, ножницы, точилки, подставки и линейки, степлеры, дыроколы, корректоры, скотч и клей.
my-shop.ru - Читай-Город – интернет-магазин книг, здесь можно заказать и купить книги, новинки и бестселлеры с доставкой по всей России
Интернет-магазин Читай-Город - Здесь вы можете купить книги всех жанров и направлений по самым выгодным ценам с бесплатной доставкой в Москве, Санкт-Петербурге и других городах России!
www.chitai-gorod.ru
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 16 результата(ов).
