Ústav teorie informace a automatizace

Jste zde

Bibliografie

Abstract

A New Hierarchy of Infinitary Propositional Logics

Lávička Tomáš, Noguera Carles

: LATD 2016 Book of Abstracts, p. 86-88

: LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016)

: GA13-14654S, GA ČR

: BA

07.01.2019 - 08:39