non-resolution theorem proving非: mistake; wrong; errors解析: analysis; resolution; analyz ...定理: theorem求解: find the solution解析定理證明: resolution theorem-proving下載手機詞典可隨時隨地查詞查翻譯
