Course: (0:00) Quine Algorithm: (48:21) Reduction Algorithm: (1:01:48) Set: (1:13:52) Davis & Putnam Algorithm: (1:21:19) Resolution Algorithm: (1:37:33) Logical Consequence: (1:50:07) End: (1:54:33)
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
