Доказательство теорем методом резолюции
Сала: Информатика және есептеуіш техника
Орысшасы :