1 result
1 - 1 / 1   1  |
1. Preverjanje ravninskosti grafov v Lean Gašper Golob, 2022, bachelor thesis/paper Keywords: Dokazovalnik, Lean, ravninski grafi, kombinatorična preslikava |
Search done in 0 sec.
Back to top
1 - 1 / 1 1 |
1. Preverjanje ravninskosti grafov v Lean Gašper Golob, 2022, bachelor thesis/paper Keywords: Dokazovalnik, Lean, ravninski grafi, kombinatorična preslikava |