Journal of symbolic computation. 1996;21(4-6):699-714. doi: 10.1006/jsco.1996.0037 Q21.12025

Constraint Satisfaction in Distributed Concurrent Logic Programming

DOI: 10.1006/jsco.1996.0037

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！