Temporal Logic for Man

Autor práce
Žilka Lukáš
Vysoké učení technické v Brně
Vedoucí práce
Smrčka Aleš
Žilka Lukáš
Vysoké učení technické v Brně
Smrčka Aleš
Jak s nimi budeme nakládat, si můžeš přečíst zde.