TY  - JOUR
AU  - Šolcová, Alena
TI  - Několik cest k minimalizaci výrokových forem
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 2014
SP  - 246
EP  - 250
VL  - 59
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PMFA_2014__59_3_a6/
LA  - cz
ID  - PMFA_2014__59_3_a6
ER  -