Seminar on Applied Mathematical Logic 2024

Event name
Seminar on Applied Mathematical Logic 2024
 
Event type
Event for scientific audience
 
Start date
17-01-2024
End date
17-01-2024
 
Location
Prague
Country
Czech Republic
 
Organizing institution Veranstaltende Institution
Institute of Computer Science, Czech Academy of Sciences
Event format Veranstaltungsformat
Hybrid

Publications Publikationen

Results 1-1 of 1 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman What Proof Theory Can Do for YouPresentation Vortrag17-Jan-2024