Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete

Бібліографічні деталі
Автори: Eiter, T, Gottlob, G
Формат: Journal article
Опубліковано: 1993

Схожі ресурси