Computer Science ∩ Mathematics (Type Theory) - Computerphile

As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Tho...

Computer Science And Mathematics

Sejak dipublikasikan pada 01 09 2016 - 13:32:21 Video ini telah dilihat sebanyak kali, di antara Penonton ada orang yang likes, dan Jumla...