Ú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
/
Czech Gathering of Logicians 2022. Book of Abstracts
Czech Gathering of Logicians 2022. Book of Abstracts
Rok:
2022
Typ:
Konferenční sborník (mezinárodní konf.)
DOI: DOI
ID: 559065
Autoři:
RNDr. Zuzana Haniková, Ph.D.
Johann Joubert Wannenburg
Konferenční sborník (mezinárodní konf.)
Oddělení:
Oddělení teoretické informatiky
