Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news

Bude mluvit Martin Blicha na téma "Interpolants in the context of software verification". Koná se v 16:30, 28.11., místnost 119. Abstrakt naleznete v sekci Věda a výzkum > Seminář.

Datum platnosti: 
28. listopad 2016