"Azevedo F. Constraint Solving Over Multi-valued Logics.. Application to Digital Circuits (IOS Press,2002)(ISBN 1586033042)(400dpi)(T)(210s)_EE_.djvu" - читать интересную книгу автора