Računsko intenzivne metode in aplikacije  thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Računsko intenzivne metode in aplikacije

Published on Jan 30, 20152626 Views

Related categories

Chapter list

Homotopska teorija tipov00:00
Untitled00:00
3.000.000 člankov00:55
Program03:05
Tip Logika Množice Homotopija05:47
https://github.com/HoTT/HoTT - 109:48
https://github.com/HoTT/HoTT - 210:49
Homotopy Type Theory - 112:03
HoTT // book - 113:00
HoTT // book - 213:47
Homotopy Type Theory - 114:03
Homotopy Type Theory - 214:26