17–19 Feb 2025
Ito International Research Center and Yayoi Auditorium
Asia/Tokyo timezone

Games with backtracking options for (quantitative) unprovability results

17 Feb 2025, 12:15
15m
Conference Room, F3 (Ito International Research Center)

Conference Room, F3

Ito International Research Center

Speaker

Eitetsu KEN

Presentation materials

There are no materials yet.