| bibtype |
A -
Abstract
|
| ARLID |
0481955 |
| utime |
20240103215019.9 |
| mtime |
20171124235959.9 |
| title
(primary) (eng) |
Protonegationality and inconsistency lemmas: part I |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0481939 |
| title
|
ManyVal 2017. Booklet of Abstracts |
| page_num |
55-57 |
| publisher |
| place |
Toulouse |
| name |
Institut de Mathematiques |
| year |
2017 |
|
|
| author
(primary) |
| ARLID |
cav_un_auth*0341114 |
| name1 |
Lávička |
| name2 |
Tomáš |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept (eng) |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department (eng) |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| country |
CZ |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0306220 |
| name1 |
Přenosil |
| name2 |
Adam |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| cas_special |
| action |
| ARLID |
cav_un_auth*0353906 |
| name |
ManyVal 2017 |
| dates |
15.11.2017-17.11.2017 |
| place |
Toulouse |
| country |
FR |
|
| RIV |
BA |
| reportyear |
2018 |
| mrcbC52 |
4 O 4o 20231122142828.9 |
| inst_support |
RVO:67985556 |
| inst_support |
RVO:67985807 |
| permalink |
http://hdl.handle.net/11104/0278676 |
| confidential |
S |
| arlyear |
2017 |
| mrcbTft |
\nSoubory v repozitáři: a0481955.pdf |
| mrcbU14 |
SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
WOS |
| mrcbU63 |
cav_un_epca*0481939 ManyVal 2017. Booklet of Abstracts 55 57 Toulouse Institut de Mathematiques 2017 |
|