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 UR - http://geodesic.mathdoc.fr/item/PDM_2011_13_a33/ LA - ru ID - PDM_2011_13_a33 ER -