skip to primary navigationskip to content

Department of Computer Science and Technology

Recordings

 

Wednesday Seminar recordings

2025-05-07 – The TPTP World - Infrastructure for Automated Reasoning