Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Наталия Альбертовна, Шалак В. И., Стеблецова В. Н. и др.; АН СССР; редколлегия: И. М. Макаров, С. В. Емельянов, Н. Н. Шереметьевский [и др.]; рецензент Ю. И. Журавев. - Москва: Наука, 1990. - 240 с.: ил. - (Кибернетика-неограниченные возможности и возможные ограничения). - Лит.: с. 231-235. - Об авт.: с. 235. - Серия основана в 1963 году. - ISBN 5-02-007156-0.Отраслевые рубрики: логика, философские науки Ключевые слова: высказывания, вычислительная техника, доказательство, информатика, искусственный интеллект, компьютеры, моделирование, предикаты, программирование, рассуждения, силлогистика, техника, философия, экспертные системы
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 4 | 4 | 0 |
| 
Блог Мишки Б.
