Journal of automated reasoning. 1998;21(2):205-231. doi: 10.1023/a:1005934721802 Q40.72025

Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous RigidE-Unification

带等式的直觉逻辑中的证明搜索，或重返同时刚性E-合一问题

DOI: 10.1023/a:1005934721802

摘要 查看摘要

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