Vyžádat soubor
Reference/citace: FRANEK, Peter, RATSCHAN, Stefan, ZGLICZYNSKI, P. Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers. Journal of Automated Reasoning. 2016, 57(2), 157-185. ISSN 0168-7433. E-ISSN 1573-0670
Vyžádané dokumenty: a0449388.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.