Filter the results Item type Select All/None Person Business Card Image Collection File Subsite EasyForm Link Language Independent Folder Study database metainformation Fontfamily News Event Icon Person Register Template-Folder Medien-Ordner Tiles-Seite VideourlCT Language Root Folder Folder New items since Yesterday Last week Last month Ever Search results 1994 items matching your search terms. Sort by relevance date (newest first) alphabetically Adrian De Lon: Natural theorem proving with Naproche-ZF Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Schedule_Maximal Operators and Applications.pdf Located in Pictures Jessica Fintzen Awarded EMS Prize Located in News schedule_WS-bridging_him.pdf Located in Assets / 2024 HIM_seminar_Workshops-Scheduling.pdf Located in Assets / 2024 logic black.jpg Located in Pictures Carlos Zapata-Carratala: Hypergraph Rewriting as a Foundation for Diagrammatic Calculus Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Josef Urban: Autoformalization - ten years into the game Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Silvia de Toffoli: Diagrams and Proofs Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Natarajan Shankar: Cueology of Proof Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video 1 2 3 4 5 6 7 ... 200 Next 10 items