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
PhysicalDescription:	Res. rus., angl., lit. 6 zázn. v angl.
Subjects:	množstvá Horna množstvá viet algoritmus články z novín a časopisov

Description
Physical Description:	Res. rus., angl., lit. 6 zázn. v angl.

Similar Items