SearchTitlesCreatorsDatesPhrases

A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Boros, E.
View the document Boros, E. (E. Boros, Y. Crama and P. L. Hammer) -- Polynomial-time inference of all valid implications for Horn and related formulae - 1990