Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
Open Science Slovenia
Open Science
DiKUL
slv
|
eng
Search
Browse
New in RUL
About RUL
In numbers
Help
Sign in
Organisation
Files
Mentors
Basic
Bibliography
Published theses
Top keywords
Keyword timeline
Co-mentors
Bibliography of the person, including all types of documents, not only theses.
BSc theses (1)
Gregor Kikelj:
Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean
