Journal of Logic and Computation. 2014;():exu079-. doi: 10.1093/logcom/exu079 Q40.72025

How to identify, translate and combine logics?

如何识别、翻译和组合逻辑？

DOI: 10.1093/logcom/exu079

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！