Normal view
MARC view
Algèbre de Boole (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): SAT 2004 (2004 : Vancouver, B.C.) 26831, Theory and applications of satisfiability testing :, ©2005.