Найденные документы этого автора

Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешин

Логика и компьютер: Моделирование рассуждений и проверка правильности программ [печатное издание] / Н. А. Алешин, Автор; А. М. Анисов, Автор; П. И. Быстров, Автор . - Наука, 1990 . - 240 с : ил. - (Сер. "Кибернетика" - неограниченные возможности и возможные ограничения / АН ССС) . 0-65 Языки : рус. (rus)   Рубрики : Компьютер Кибернетика Десятичная классификация : 32.81

Бронирование

Забронировать этот документ

Экземпляры

Штрих-код	Полочный индекс	Носитель	Место хранения	Секция	Статус экземпляра
46538	32.81 Л69	Книга	ЦБ	3. техника (3)	В наличии