Describir: Matematicko-logické modelování v horníctví /