Электронный каталог

Книга
УДК 51 Л694

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

51 Л694

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

969423 Кх