Journal of automated reasoning. 1991;7(3):383-401. doi: 10.1007/bf00249021 Q40.72025

Programming in temporal-nonmonotonic reasoning

时序非单调推理中的编程

DOI: 10.1007/bf00249021

摘要 查看摘要

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