Logiikan seminaari
Logiikan seminaari pidetään C124:ssa
keskiviikkona 9.5. klo 12-14
Heribert Vollmer: Verifying proofs in constant depth
Logic seminar
Logic seminar will take place in C124
on Wednesday, 9.5. at 12-14
Heribert Vollmer: Verifying proofs in constant depth