书目详细信息 : Logic-based nonlinear image processing