TY - JOUR AU - V. A. Konovodov TI - Some features of the synthesis of Boolean formulae over complete bases with direct and iterative variables JO - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki PY - 2014 SP - 76 EP - 83 VL - 156 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/UZKU_2014_156_3_a7/ LA - ru ID - UZKU_2014_156_3_a7 ER -