Myvideo

Guest

Login

С.Л. Кузнецов. Спецкурс Лямбда-исчисление, или вычислительная теория доказательств

Uploaded By: Myvideo
15 views
0
0 votes
0

Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской академии наук. С.Л. Кузнецов. Спецкурс «Лям...

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later