Основное заглавие: Математическая логика в программировании

Сведения, относящ. к заглавию: Сб. ст.: Пер. с англ.

Ответственность: Под ред. Захарьящева М. В., Янова Ю. И.

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

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

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

Издательство: Мир

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

ISBN: 5-03-001635-X

Серия: Математическое обеспечение ЭВМ

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

ББК: 22.183.4

Библиография: Библиогр. в конце ст.