Vyžádat soubor

Reference/citace:  VIDAL, Amanda. MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions. Information Sciences. 2016, 372(1 December), 709-730. ISSN 0020-0255. E-ISSN 1872-6291
Vyžádané dokumenty:  a0465844.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.