Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- Логика и компьютер. Моделирование рассуждений и проверка ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Автор: Анисов А.М. | Логика. Выберите формат: ZIP(9,2 Mb) DJV(9,2 Mb) Онлайн.
www.klex.ru - Логика и компьютер. Моделирование рассуждений и проверка ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ 5020071560 · Author / Uploaded · Алешина Н.А · Анисов А.М. · Быстров П.И. и др.
dokumen.pub - Канцтовары
Канцтовары: бумага, ручки, карандаши, тетради. Ранцы, рюкзаки, сумки. И многое другое.
my-shop.ru - Логика и компьютер: моделирование рассуждений и проверка ...
Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер: моделирование рассуждений и проверка правильности программ. Алешина Н.А., Анисов А.М., Быстров П.И.
z-lib.io - Анисов А.М.. Книги онлайн - KooB.ru
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Раздел библиотеки: Логика. Соавтор: Алешина Н.А., Быстров П.И. и др. Логика ...
www.koob.ru - "Алешина Н.А." скачать бесплатно. Электронная библиотека ...
Логика и компьютер: моделирование рассуждений и проверка правильности программ · Алешина Н.А., Анисов А.М., Быстров П.И. Категория: Computer science, AI ...
libcats.org - "Анисов Л. М." скачать бесплатно. Электронная библиотека ...
Логика и компьютер: моделирование рассуждений и проверка правильности программ · Алешина Н.А., Анисов А.М., Быстров П.И. Категория: Computer science, AI ...
libcats.org - Результаты поиска - большая электронная библиотека
Читать бесплатно · Логика и компьютер: моделирование рассуждений и проверка правильности программ - читать онлайн · Алешина Н.А., Анисов А.М., Быстров П.И. - ...
reallib.org - OCR форум - "Кибернетика - неограниченные возможности и ...
моделирования : [сб. ст.] Логика и компьютер: Моделирование рассуждений и проверка правильности программирования. Алешина Н. А. Наука, ...
publ.lib.ru - Книга Алешина Н.А. "Логика и компьютер. Моделирование ...
Алешина Н.А., Анисов А.М., Непейвода Н.Н. и др. Логика и компьютер. Моделирование рассуждений и проверка правильности программ. 1990. 240 с. Букинист ...
urss.ru - Год издания - Библиотека ТУСУРа
С. Заглавие : Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Выходные данные : М.: Наука, 1990. Колич.характеристики :238, [2] ...
lib.tusur.ru - неограниченные возможности и возможные ограничения» (серия)
* Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Н.А. Алешина и др. (1990) * Лотов А.В. Компьютер и поиск компромисса ...
publ.lib.ru - Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер ...
Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер. моделирование рассуждений и проверка правильности программ · Базы знаний и экспертные системы.
www.studmed.ru - Статья 6115 — Известия высших учебных заведений ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров. – М. : Наука, 1990. – 240 с. 15 ...
izvuz_tn.pnzgu.ru - Диссертация на тему «Компьютерное моделирование развития ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина H.A., Анисов A.M., Быстров П.И. и др. - М.: Наука, 1990. - 240 е ...
www.dissercat.com - Компьютерное моделирование смысла: Философско ... - disserCat
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, A.M.Анисов, П.И.Быстров и др. М.: Мир, 1990 - 240 с. 113 ...
www.dissercat.com - Коррекция погрешности решения уравнения гармонического ...
Алешина, Н.А. Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст]/Н.А. Алешина, А.М. Анисов, П.И. Быстров.-М.: Наука, 1990.- ...
cyberleninka.ru - Метод резолюций и аристотелевская силлогистика в ...
72-73, 120-123. 3. Алешина Н.А., Анисов А.М., Быстров П.И. и др. Логика и компьютер. Моделирование рассуждений и проверка правильности программ. - М.: Наука ...
cyberleninka.ru - И.А.Онуфриев, А.С.Данилевский. Справочник инженера ...
Логика и компьютер: моделирование рассуждений и проверка правильности программ · Алешина Н.А., Анисов А.М., Быстров П.И. Category: Computer science, AI ...
en.booksee.org - Литрес, Litres – большая библиотека электронных книг, где можно купить, скачать и читать онлайн бесплатно
Литрес - это самая большая библиотека электронных книг. Покупай, скачивай, читай и слушай лицензионные электронные книги и аудиокниги для компьютеров, телефонов и планшетов. На Litres публикуются отзывы, рейтинги книг, рекомендации, рецензии, информация об авторах.
www.litres.ru - My-shop.ru – купить книги, учебники, пособия. Здесь можно заказать и купить книги, новинки, бестселлеры с доставкой по всей России
Интернет-магазин My-shop.ru - интернет магазин, где можно купить более 700 тысяч книг любого жанра, автора и тематики. Учебники по выгодным ценам с доставкой в Москве, Санкт-Петербурге и других городах России! Книги почтой с доставкой на дом и самовывозом.
my-shop.ru - Интернет-магазин канцтоваров
Канцтовары. Низкие цены на любые канцтовары для детей и взрослых, для работы и учёбы. Письменные принадлежности. Карандаши, ручки, стержни, фломастеры, чернила, тушь, маркеры – любые письменные принадлежности. Бумажные канцтовары. Широкий выбор тетрадей, дневников, альбомов быстро и дёшево купить бумажные канцтовары. Ранцы, рюкзаки, сумки. Всевозможные сумки и косметички, ранцы с наполнением и без, рюкзаки со скидками и сумки для ноутбуков. Канцелярские мелочи. Ластики, ножницы, точилки, подставки и линейки, степлеры, дыроколы, корректоры, скотч и клей.
my-shop.ru - Читай-Город – интернет-магазин книг, здесь можно заказать и купить книги, новинки и бестселлеры с доставкой по всей России
Интернет-магазин Читай-Город - Здесь вы можете купить книги всех жанров и направлений по самым выгодным ценам с бесплатной доставкой в Москве, Санкт-Петербурге и других городах России!
www.chitai-gorod.ru
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 23 результата(ов).