Journal of automated reasoning. 1990;6(3):319-335. doi: 10.1007/bf00244491 Q40.72025

Equivalence of propositional Prolog programs

命题逻辑程序的等价性

DOI: 10.1007/bf00244491

摘要 查看摘要

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