Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Доступно
3 из 3
3 из 3
Книга
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Автор:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Издательство: Наука, 1990 г.
ISBN 5-02-007156-0
Заказать 
На полку
Книга
32.973 Л69
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, [и др.]. – Москва : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения). – ISBN 5-02-007156-0.
ББК 32.973
общий = Вычислительные машины электронные : Программирование : Логические основы
1748466 ГБУК СКУНБ им. М.Ю.Лермонтова ОСН Общий 32.973 Л69
1755740 ГБУК СКУНБ им. М.Ю.Лермонтова ОСН Общий 32.973 Л69
1835177 ГБУК СКУНБ им. М.Ю.Лермонтова ОСН Общий 32.973 Л69
32.973 Л69
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, [и др.]. – Москва : Наука, 1990. – 239 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения). – ISBN 5-02-007156-0.
ББК 32.973
общий = Вычислительные машины электронные : Программирование : Логические основы
1748466 ГБУК СКУНБ им. М.Ю.Лермонтова ОСН Общий 32.973 Л69
1755740 ГБУК СКУНБ им. М.Ю.Лермонтова ОСН Общий 32.973 Л69
1835177 ГБУК СКУНБ им. М.Ю.Лермонтова ОСН Общий 32.973 Л69