"Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications, 91)" - читать интересную книгу автора (Francisco Azevedo)