еНаука - преглед
Преглед према Аутор Maliković, Marko
Приказ резултата 1 до 2 од 2
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2019 | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture (✓) | Janičić, Predrag Đ. ; Marić, Filip M. ; Maliković, Marko | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (✓) | Marić, Filip ; Janičić, Predrag ; Maliković, Marko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |