- News
- Subject and Goals
- Council and Annual Reports
- Contacts and Working Groups
- Lectures and Presentations
- Conferences and Seminars
- Publications
- Application Demos
- International Travels
- Visitors
- Past Events
- E-Synergy Login
SEARCH
MEMBERS OF RESEARCH CENTER
Research Centre
Data - Algorithms - Decision Making
Data - Algorithms - Decision Making
Established in 2005 under support of MŠMT ČR (project 1M0572)
Lectures and Presetations
Gentzen Proofs in Description Logic
Lecturer:
Alena Lukasová
From:
Oct. 27 2005 10:00AM
To:
Oct. 27 2005 11:00AM
Place:
ÚVAFM
Contact person:
Within the event:
Pravidelný seminář ÚVAFM OU (Contact person: Vilém Novák)