|
|
|
3134. Primerjava teorije množic in teorije tipov kot temeljev matematikeMatej Jazbec, 2022, diplomsko delo Ključne besede: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete Celotno besedilo (datoteka, 845,74 KB) |
3135. Trinuclear magnesium imidazolate borohydride complexMaja Reberc, Matjaž Mazaj, Jernej Stare, Marta Počkaj, Gregor Mali, Xiao Li, Yaroslav Filinchuk, Radovan Černý, Anton Meden, 2022, izvirni znanstveni članek Ključne besede: crystal structure, imidazoles, ligands, molecules, solvates Celotno besedilo (datoteka, 4,61 MB) Gradivo ima več datotek! Več... |
|
|
|
|
|