|
|
Date
March 18th, 2024 Speaker
Laszlo Erdos Department
PCTS Location
Jadwin Hall Room 407
|
|
|
Princeton University Press Video Blurb
Speaker
Professor Michael Cook Department
Near Eastern Studies
|
|
|
|
|
|
Did I Get it Right? Part 4: Induction for Datatypes
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Did I Get it Right? Part 3: Induction for Lists
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Did I Get it Right? Part 2: Induction for Naturals
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Did I Get it Right? Part 1: Simple Proofs
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|