Ústav teorie informace a automatizace

Jste zde

Bibliografie

Adam Přenosil

  1. Lávička Tomáš, Přenosil AdamProtonegationality and inconsistency lemmas: part II , ManyVal 2017. Booklet of Abstracts, p. 58-60, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  2. Lávička Tomáš, Přenosil AdamProtonegationality and inconsistency lemmas: part I , ManyVal 2017. Booklet of Abstracts, p. 55-57, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  3. Lávička Tomáš, Přenosil AdamTowards completeness of some lattice-valued modal logics , ISRALOG'17 Abstract Booklet, p. 104-107, ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017) [2017]
07.01.2019 - 08:39