Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Доступно
2 из 2
2 из 2
Книга
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN отсутствует
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN отсутствует
Заказать 
На полку
Книга
Ц843.4 Л-694
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина, А.М.Анисов, П.И.Быстров, [и др.] ; Пред. редкол.: И.М.Макаров. – М. : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения). – Библиогр.: с.231-234.
Ц843.4
Индексный (книги) = Ц 843.4 - Моделирование. Искусственный интеллект. Автоматическое распознавание речи. Экспертные системы
Ц843.4 Л-694
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина, А.М.Анисов, П.И.Быстров, [и др.] ; Пред. редкол.: И.М.Макаров. – М. : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения). – Библиогр.: с.231-234.
Ц843.4
Индексный (книги) = Ц 843.4 - Моделирование. Искусственный интеллект. Автоматическое распознавание речи. Экспертные системы
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 2 | 2 | 2 | Заказать |