Journal of automated reasoning. 2005;34(3):209-238. doi: 10.1007/s10817-005-5204-9 Q40.72025

Combining Nonstably Infinite Theories

组合非稳定无限理论

DOI: 10.1007/s10817-005-5204-9

摘要 查看摘要

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