NPTEL Video Course : Mathematical Logic

Lecture 36 - Most General Unifiers