Основное заглавие: Математическая логика в программировании
Сведения, относящ. к заглавию: Сб. ст.: Пер. с англ.
Ответственность: Под ред. Захарьящева М. В., Янова Ю. И.
Физический носитель: Текст
Год публикации: 1991
Место издания: М.
Издательство: Мир
Объем: 407,[1]с.
ISBN: 5-03-001635-X
Cерия: Математическое обеспечение ЭВМ
Ключевые слова: Вычислительные машины; Логика; Логическое программирование; Программирование; ЭВМ;
ББК: 22.183.4
Библиография: Библиогр. в конце ст.
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 2350972 | кх | Доступна | - |
При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера