Поиск :
Личный кабинет :
Электронный каталог: Ковальски, Роберт - Логика в решении проблем
Ковальски, Роберт - Логика в решении проблем
Доступно
1 из 1
1 из 1
Книга
Автор: Ковальски, Роберт
Логика в решении проблем
Серия: Проблемы искусственного интеллекта
Издательство: Наука, 1990 г.
ISBN отсутствует
Автор: Ковальски, Роберт
Логика в решении проблем
Серия: Проблемы искусственного интеллекта
Издательство: Наука, 1990 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 К-563
Ковальски, Роберт.
Логика в решении проблем / Роберт Ковальски ; Пер. с англ.: Л.Г.Осмоловский, [и др.] ; Предисл.: Д.А.Поспелов. – М. : Наука, 1990. – 278 с. : ил. – (Проблемы искусственного интеллекта). – Библиогр.: с.10,263-271. – Пер. изд.:Logic for problem solving/Robert Kowalski (Cop.1979).
С14 + Ц843.4
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = Ц 843.4 - Моделирование. Искусственный интеллект. Автоматическое распознавание речи. Экспертные системы
С14 К-563
Ковальски, Роберт.
Логика в решении проблем / Роберт Ковальски ; Пер. с англ.: Л.Г.Осмоловский, [и др.] ; Предисл.: Д.А.Поспелов. – М. : Наука, 1990. – 278 с. : ил. – (Проблемы искусственного интеллекта). – Библиогр.: с.10,263-271. – Пер. изд.:Logic for problem solving/Robert Kowalski (Cop.1979).
С14 + Ц843.4
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = Ц 843.4 - Моделирование. Искусственный интеллект. Автоматическое распознавание речи. Экспертные системы
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |