Электронный каталог -Логика и компьютер. Моделирование рассуждений и проверка правильности программ- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Логика и компьютер. Моделирование рассуждений и проверка правильности программ

Логика и компьютер. Моделирование рассуждений и проверка правильности программ

Доступно
1 из 1

Книга
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN отсутствует

Заказать

На полку

Книга
УДК 51 Л694

Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А Алешина, [и др.]. – М. : Наука, 1990. – 238 с. – (Кибернетика - неограниченные возможности и возможные ограничения).

51 Л694

Тезаурус = ГАСНТИ 28.23.17
Кибернетика : искусственный интеллект (ИИ) : Логика в искусственном интеллекте

969423 Кх