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
R. Horčík
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
07.01.2019 - 08:39