. "Vyu\u017Eit\u00ED programu QEPCAD p\u0159i \u0159e\u0161en\u00ED st\u0159edo\u0161kolsk\u00FDch \u00FAloh obsahuj\u00EDc\u00EDch parametry"@en . "Pech, Pavel" . . . "Hora, Jan" . "1210-9037" . "Vyu\u017Eit\u00ED programu QEPCAD p\u0159i \u0159e\u0161en\u00ED st\u0159edo\u0161kolsk\u00FDch \u00FAloh obsahuj\u00EDc\u00EDch parametry" . . "Vyu\u017Eit\u00ED programu QEPCAD p\u0159i \u0159e\u0161en\u00ED st\u0159edo\u0161kolsk\u00FDch \u00FAloh obsahuj\u00EDc\u00EDch parametry"@en . "CZ - \u010Cesk\u00E1 republika" . "12" . . "Je uk\u00E1z\u00E1no u\u017Eit\u00ED programu QEPCAD, kter\u00FD umo\u017E\u0148uje naj\u00EDt k dan\u00E9 formuli obsahuj\u00EDc\u00ED kvantifik\u00E1tory, ekvivalentn\u00ED otev\u0159enou formuli"@en . . "31-38" . "Vyu\u017Eit\u00ED programu QEPCAD p\u0159i \u0159e\u0161en\u00ED st\u0159edo\u0161kolsk\u00FDch \u00FAloh obsahuj\u00EDc\u00EDch parametry" . . . "Je uk\u00E1z\u00E1no u\u017Eit\u00ED programu QEPCAD, kter\u00FD umo\u017E\u0148uje naj\u00EDt k dan\u00E9 formuli obsahuj\u00EDc\u00ED kvantifik\u00E1tory, ekvivalentn\u00ED otev\u0159enou formuli" . "Quantifiers elimination"@en . "[6E1BAA597E5C]" . "634711" . . "0"^^ . "8"^^ . "0"^^ . "2"^^ . "1" . . . "Z(MSM 124100006)" . "1"^^ . "12410" . . "U\u010Ditel matematiky" . "RIV/60076658:12410/03:00004665" . . "RIV/60076658:12410/03:00004665!RIV/2004/MSM/124104/N" .