About the competition
Prizes
Dates
Panel members
Evaluation of theses
Ambassadors
Photo gallery
How to apply
Results
Partners
For media
News
Download
Contact
Contact
en
cs
sk
Temporal Logic for Man
Author
Žilka Lukáš
Supervisor
Smrčka Aleš
About the project
Abstract
Year
2010
Share
