TY - JOUR AU - N. A. Kolomeec AU - A. V. Pavlov TI - ``Boolean Functions'' is a~system for the work with boolean functions JO - Prikladnaâ diskretnaâ matematika PY - 2011 SP - 67 EP - 68 IS - 13 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDM_2011_13_a33/ LA - ru ID - PDM_2011_13_a33 ER -