"Nguyen et al. PALMINI, fast Boolean minimization(T)(7s).djvu" - читать интересную книгу автора