Vyžádat soubor
Reference/citace: PART, Fedor, THAPEN, Neil, TZAMERET, I. First-order reasoning and efficient semi-algebraic proofs. In: GORLA, D., ed. 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway: IEEE, 2021, č. článku 9470546. ISBN 978-1-6654-4896-3
Vyžádané dokumenty: Part.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.