On Optimal Algorithm for Renaming a Set of Clauses into the Horn Set

Bibliographic Details
Main Author:	Sýkora, Ondrej, 1951- (Author)
Format:	Article
Language:	Slovak English
Subjects:	množstvá Horna množstvá viet algoritmus články z novín a časopisov

Similar Items