@article{牛当当_537, author = {[牛当当, 刘磊, 吕帅]}, title = {EPCCL理论的并行知识编译算法}, publisher = {电子学报}, year = {2018}, journal = {电子学报}, volume = {46}, number = {3}, eid = {537}, pages = {537-543}, keywords = {知识编译;扩展规则;超扩展规则;EPCCL理论;并行编译}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2018.03.004 }