TY - JOUR AU - Daňková, Martina TI - Representation of logic formulas by normal forms JO - Kybernetika PY - 2002 SP - 717 EP - 728 VL - 38 IS - 6 UR - http://geodesic.mathdoc.fr/item/KYB_2002_38_6_a3/ LA - en ID - KYB_2002_38_6_a3 ER -