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