Mednarodni projekti vir: SICRIS

Foundations of Type Theory for Computation and Mathematics

Uredi
Organizacije (1) , Raziskovalci (1)
1554  Univerza v Ljubljani, Fakulteta za matematiko in fiziko
št. Evidenčna št. Ime in priimek Razisk. področje Vloga Obdobje Štev. publikacij
1.  15854  dr. Andrej Bauer  Matematika  Vodja  2017 - 2020  214 
Zahtevana je potrditev
Zgodovina ogledov
Priljubljeno