Теоретические вопросы программирования.

Исправить карточку документа
Исправить документ
Добавить в карточку документа ссылку на файл
Добавить файл
Выбор разделов содержащих текущий документ
Список разделов
Удалить карточку документа из библиотеки
Удалить документ
Помощь
Раздел 'Теоретические вопросы программирования.'..
Информация о структуре библиотеки Структура библиотеки.
АвторАлешина Н.А., Анисимов А.М., Быстров П.И. и др.
НазваниеЛогика и компьютер. Моделирование рассуждений и проверка правильности программ.
Дополнительное названиеАН СССР. Серия `Кибернетика - неограниченные возможности и возможные ограничения`.
ИздательствоМ.: Наука. 240с. Библиогр. С.231-234.
Год издания1990
Адрес для связи:
library@math.rsu.ru
Местонахождение:Библиотека НИИМ и ПМ
Аннотация:
-3