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

Книга
Ц843.4 Л-694

Логический подход к искусственному интеллекту:От модальной логики к логике баз данных / А.Тейз, П.Грибомон, Г.Юлен, [и др.] ; Пер. с фр.: Г.П.Гаврилов, [и др.] ; Ред. пер. с фр.: Г.П.Гаврилов. – М. : Мир, 1998. – 494 с. : ил. – Библиогр.:с.471-486.

Ц843.4 + С14


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