Czech
English
Ústav teorie informace a automatizace
Jste zde
Bibliografie
Abstract
Protonegationality and inconsistency lemmas: part I
,
: ManyVal 2017. Booklet of Abstracts, p. 55-57
: ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
: BA