YouTube31 May 2022
10m

Logic 9 - First Order Resolution | Stanford CS221: AI (Autumn 2021)

Podcast cover

Stanford Online

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.

Open in Podwise

Shownotes are not generated by Podwise.

Logic 9 - First Order Resolution | Stanford CS221: AI (Autumn 2021)