The following pages link to Miloš V. Gligorić (Q2298260):
Displayed 3 items.
- Long-term room and pillar mine production planning based on fuzzy 0-1 linear programing and multicriteria clustering algorithm with uncertainty (Q2298265) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
- Model Checking Database Applications (Q5326350) (← links)