Логика и компьютер. Моделирование рассуждений и проверка правильности программ Интернет стиль Карточка Заглавие :Логика и компьютер. Моделирование рассуждений и проверка правильности программТип документа : печатный текстИздательство :Наука (М.)Дата публикации : 1990Серия : Кибернетика - неограниченные возможности и возможные ограниченияСтраницы : 240 сЦена : 00р.65к. Индексация : 32.81 Л69 БронированиеЗабронировать этот документ Экземпляры Штрих-кодИндексПоложениеОтделСтатус75429001 32.81 Л69 4 фил 3.Техника (3) В наличии Логика и компьютер. Моделирование рассуждений и проверка правильности программ [печатный текст] . - Наука, 1990 . - 240 с . - (Кибернетика - неограниченные возможности и возможные ограничения).00р.65к. Индексация : 32.81 Л69 БронированиеЗабронировать этот документ Экземпляры Штрих-кодИндексПоложениеОтделСтатус75429001 32.81 Л69 4 фил 3.Техника (3) В наличии