- Aktuality
- Předmět a cíle výzkumu
- Rada Centra a výroční zprávy
- Pracoviště a kontakty
- Přednášky
- Konference a semináře
- Publikace
- Ukázky aplikací
- Zahraniční cesty
- Hosté centra
- Minulé události
- Vstup do Synergy
VYHLEDÁVÁNÍ
PRACOVIŠTĚ CENTRA
Výzkumné centrum
Data - Algoritmy - Rozhodování
Data - Algoritmy - Rozhodování
Založeno v roce 2005 s podporou MŠMT ČR (projekt 1M0572)
Přednášky
Gentzen Proofs in Description Logic
Přednášející:
Alena Lukasová
Od:
Oct. 27 2005 10:00AM
Do:
Oct. 27 2005 11:00AM
Místo:
ÚVAFM
Kontaktní osoba:
V rámci akce:
Pravidelný seminář ÚVAFM OU (Kontaktní osoba: Vilém Novák)