Počet záznamů: 1
On extracting computations from propositional proofs
- 1.Pudlák, P. On extracting computations from propositional proofs. In: LODAYA, K., MAHAJAN, M, eds. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Wadem: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2010, s. 30-41. Leibniz International Proceedings in Informatics, vol. 8. ISBN 978-3-939897-23-1. Dostupné z: doi: 10.4230/LIPIcs.FSTTCS.2010.30.
Počet záznamů: 1