Přejít k hlavnímu obsahu
Czech
English
Ústav teorie informace a automatizace
Jste zde
Domů
Vyhledávání
Hledat
O ústavu
Domů
Výzkum
Výuka
Lidé
Struktura
Časopis Kybernetika
GDPR info
Ochrana oznamovatelů
GEP info
Život ústavu
Informace
Návody
Aktivity
Semináře
Knihovna
Výpočetní středisko
Intranet
Přihlášení
Přístup k mailu
Covid - evidence testů
Lemon
Rezervace tělocvičny
Poštovní konference
Rezervace poslucháren
Docházka
Docházka
Bibliografie
Adam Přenosil
Bílková Marta
,
Cintula Petr
,
Haniková Zuzana
,
Horčík R.
,
Kroupa T.
,
Lávička Tomáš
,
Majer Ondrej
,
Moraschini Tommaso
,
Noguera Carles
,
Přenosil Adam
,
Sedlár Igor
,
Vidal Amanda
:
TACL 2017: Topology, Algebra and Categories in Logic
,
(Prague, CZ, 20170626)
[2017]
Download
Lávička Tomáš
,
Přenosil Adam
:
Protonegationality and inconsistency lemmas: part II
,
ManyVal 2017. Booklet of Abstracts, p. 58-60
,
ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
[2017]
Lávička Tomáš
,
Přenosil Adam
:
Protonegationality and inconsistency lemmas: part I
,
ManyVal 2017. Booklet of Abstracts, p. 55-57
,
ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
[2017]
Lávička Tomáš
,
Přenosil Adam
:
Towards 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