Poprzednia strona
Rekrutacja 2022/23
Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT
Z. Sadowski
() 364-374
DOI: 10.1007/978-3-319-58741-7_34
