Enviar por SMS: Matematicko-logické modelování v horníctví /