О программировании доказательств на УЦВМ
Язык: русский.Выходные данные: Киев : Б. и., 1964Физическая характеристика: 18 с. : схем. ; 22 см.Серия: Научный совет по кибернетике Академии наук УССР. Киевский дом научно-технической пропаганды. [Материалы научных семинаров по теоретическим и прикладным вопросам кибернетики] Примечания: На обл. только загл. серии.Предметная рубрика - Тема: Цифровые вычислительные машины -- Программирование Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж Хран | 64-6/5678 (Просмотр полки(Открывается ниже)) | Доступно | 8529054-10 |
На обл. только загл. серии