Лoгика и кoмпьютер [Текст] : моделирование рассуждений и проверка правильности прогр. / Алешина Н. А. [и др.] ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. ; АН СССР. - М. : Наука, 1990. - 238, [1] с. : ил. - (Кибернетика - неограниченные возможности и возможные ограничения). - Авт. указаны на обороте тит. л. - Библиогр.: с. 231-235. - ISBN 5-02-007156-0



Основное заглавие: Логика и компьютер

Сведения, относящ. к заглавию: моделирование рассуждений и проверка правильности прогр.

Ответственность: Алешина Н. А. [и др.] ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. ; АН СССР

Физический носитель: Текст

Год публикации: 1990

Место издания: М.

Издательство: Наука

Объем: 238, [1] с.

ISBN: 5-02-007156-0

Cерия: Кибернетика - неограниченные возможности и возможные ограничения

Примечание: Авт. указаны на обороте тит. л.

Ключевые слова: Логика; Программное обеспечение; Программирование; ЭВМ; Электронные вычислительные машины;

ББК: 32.973.2-018

Библиография: Библиогр.: с. 231-235

2324463
 
Лoгика и кoмпьютер [Текст] : моделирование рассуждений и проверка правильности прогр. / Алешина Н. А. [и др.] ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. ; АН СССР. - М. : Наука, 1990. - 238, [1] с. : ил. - (Кибернетика - неограниченные возможности и возможные ограничения). - Авт. указаны на обороте тит. л. - Библиогр.: с. 231-235. - ISBN 5-02-007156-0
ББК 32.973.2-018
2324463-кх;
Находится: СОУНБ | Чтобы заказать это издание, а так же копию его фрагмента, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 2324463 кх Доступна -
Х

При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера