| bibtype |
U -
Conference, Workshop Arrangement
|
| ARLID |
0559063 |
| utime |
20231122150643.3 |
| mtime |
20220714235959.9 |
| title
(primary) (eng) |
Czech Gathering of Logicians 2022 |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0415798 |
| name1 |
Wannenburg |
| name2 |
Johann Joubert |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| country |
ZA |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0432956 |
| name1 |
Vacková |
| name2 |
Kateřina |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| country |
CZ |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0387711 |
| name1 |
Grimau |
| name2 |
Berta |
| institution |
UTIA-B |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| country |
ES |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0015032 |
| name1 |
Haniková |
| name2 |
Zuzana |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| abstract
(eng) |
Czech Gathering of Logicians is an annual regional event that brings together researchers in all areas of logic. |
| action |
|
| reportyear |
2023 |
| num_of_auth |
5 |
| mrcbC52 |
4 O 4o 4o 20231122150643.3 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
https://hdl.handle.net/11104/0332482 |
| cooperation |
| ARLID |
cav_un_auth*0339298 |
| name |
UTIA |
|
| confidential |
S |
| arlyear |
2022 |
| mrcbTft |
\nSoubory v repozitáři: 0559063-boa.pdf, 0559063-prog.pdf |
|