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

Книга
Ц843.4 Л-694

Логический подход к искусственному интеллекту: От классической логики к логическому программированию / А.Тейз, П.Грибомон, Ж.Луи, [и др.] ; Пер. с фр.: П.П.Пермяков ; Ред. пер. с фр.: Г.П.Гаврилов. – М. : Мир, 1990. – 429 с. : ил. – Библиогр.: с.411-417. – Пер. изд.: Approche logique de l'intelligence artificielle (Cop.Paris, 1988).

Ц843.4 + С14


Индексный (книги) = Ц 843.4 - Моделирование. Искусственный интеллект. Автоматическое распознавание речи. Экспертные системы
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ