Filter the results Item type Select All/None File Collection Image Folder Icon Language Independent Folder Person Business Card Person Register Tiles-Seite VideourlCT Link Subsite Fontfamily Study database metainformation EasyForm Event Language Root Folder News Medien-Ordner Template-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