Using Symbolic Computation Systems in Applications

• Autoři: HŘEBÍČEK Jiří; PEŠL Jan; RÁČEK Jaroslav
• Rok publikování: 2003
• Druh: Článek ve sborníku
• Konference: The Decidable and the Undecidable in Mathematics Education
• Fakulta / Pracoviště MU: Fakulta informatiky