Journal of automated reasoning. 1992;8(1):23-38. doi: 10.1007/bf00263447 Q40.72025

Exploitation of parallel processing for implementing high-performance deduction systems

利用并行处理实现高性能推理系统

DOI: 10.1007/bf00263447

摘要 查看摘要

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