Episode 140: Mind Games and More with David Spinozza and Ken Ascher

Episode 140: Mind Games and More with David Spinozza and Ken Ascher

Encounters with Computer-Assisted Proofs in Early DaysПодробнее

Encounters with Computer-Assisted Proofs in Early Days

Psalm 140Подробнее

Psalm 140