1.給出了相干命題邏輯自然推理系統(tǒng)NR的自動(dòng)證明算法。
傳承國(guó)學(xué)經(jīng)典 ? 弘揚(yáng)傳統(tǒng)文化
Copyright ? 2004-2010 CNDU.CN 漢語(yǔ)字典查詢 All Rights Reserved備案號(hào):滇ICP備2024036080號(hào)-2