Автор: Метакидес Георгий

Другие авторы: Нероуд А.

Основное заглавие: Принципы логики и логического программирования

Ответственность: Пер. с англ. Захарова В. А. и др.; Под ред. Садовничего В. А., Захарова В. А.

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

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

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

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

Объем: 288с.

ISBN: 5-88688-037-2

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

ББК: 22.122+22.183.4

Библиография: Библиогр.: с. 275-278. - Предм. указ.: с. 279-285