Please be patient while the object screen loads.
Description | Size | Format | ||
---|---|---|---|---|
DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ | 123 KB | Adobe Acrobat PDF | View Details | Download |
DOI Доступ к ресурсу на сайте издателя | 10.17223/2226308X/14/44 |