Ústav teorie informace a automatizace

Jste zde

Bibliografie

Tomáš Lávička

  1. Lávička Tomáš, Noguera CarlesA New Hierarchy of Infinitary Propositional Logics , LATD 2016 Book of Abstracts, p. 86-88, LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016) [2016]
07.01.2019 - 08:39