Journal of automated reasoning. 1999;23(3):347-371. doi: 10.1023/a:1006242018697 Q40.72025

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions

归纳构造演算中SLD归结的完全形式化

DOI: 10.1023/a:1006242018697

摘要 查看摘要

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