Поиск ведется по:
Общее количество найденных документов : 1
1. 6П2.154
Л694
Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.]. - Москва : Наука, 1990. - 240 с. : ил. - (Кибернетика - неограниченные возможности и возможные ограничения). - Б. ц.
ГРНТИ 02.21
УДК:007
Ключевые слова: логика -- компьютеры -- моделирование рассуждений -- проверка правильности программ
Доп.точки доступа: Алешина, Н. А. --- Анисов, А. М. --- Быстров, П. И. ---
Экземпляры всего: 4
Mесто хранения: кх (4)
Свободны: кх (4)
Найти похожие
Л694
Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.]. - Москва : Наука, 1990. - 240 с. : ил. - (Кибернетика - неограниченные возможности и возможные ограничения). - Б. ц.
ГРНТИ 02.21
УДК:007
Ключевые слова: логика -- компьютеры -- моделирование рассуждений -- проверка правильности программ
Доп.точки доступа: Алешина, Н. А. --- Анисов, А. М. --- Быстров, П. И. ---
Экземпляры всего: 4
Mесто хранения: кх (4)
Свободны: кх (4)
Найти похожие