Author Details

Hrabošová, Silvia

  • - Matematika, Ekonomika a manažment
    Automatické dokazovanie v programe CoCoA
    Abstract