Ústav informatiky
Akademie věd České republiky
česky
english
česky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Ústav informatiky
Akademie věd České republiky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
english
česky
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Domů
/
Výzkum
/
Publikace
/
Pražské setkání logiků
Pražské setkání logiků
Rok:
2014
Typ:
Článek v novinách
Periodikum:
Akademický bulletin AV ČR
ID: 432942
Autoři:
RNDr. Zuzana Haniková, Ph.D.
Článek v novinách
Oddělení:
Oddělení teoretické informatiky
