An efficient algorithm for testing propositional formulas

Bibliographic Details
Main Author:	Vlada, Marin (Author)
Format:	Article
Language:	Slovak English
Subjects:	vzorce výrokové > skúšanie > algoritmy články z novín a časopisov

Similar Items