干命造句


1.给出了相干命题逻辑自然推理系统NR的自动证明算法。


※ "干命"造句元亨利贞网国学站汉语词典查词提供。