Opinnäytetöiden ohjaus, Väitöskirja: Modaalilogiikkaa ja äärellisten mallien teoriaa

Aktiviteetti: Väitöskirjatutkijan ohjaaja

Description

Vastaava ohjaaja