Theorem Proving - Structure and Interpretation of Computer Programs - Amir Kamal - Lecture 19 of 21 - Video-lecture

Video-lecture, Computers and Operating Systems

Description: This lecture describes Theorem Proving, Constituents of Structure and Interpretation of Computer Programs. By Amir Kamal, Series of lectures part 19 of 21.