Omslag vermeldt: Faculty Information Technology and Systems, Technical Mathematics and Informatics
Recovery of nonmonotonic theories / Cees Witteveen, Wiebe van der Hoek