BrighterTube

CS6225 Programs and Proofs 18 Logic Programming

KC Sivaramakrishnan524 subscribers

About this video

Advanced · Editorial review · 85% confidence

Round-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.

A 52-minute video from KC Sivaramakrishnan: “CS6225 Programs and Proofs 18 Logic Programming”.

Programming & CS

Video by KC Sivaramakrishnan, played through YouTube's embedded player.