どうしゅつ
導出
1. derivation; drawing (a conclusion)
2. Resolution (logic)In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic.
Read “Resolution (logic)” on English Wikipedia
Read “導出” on Japanese Wikipedia
Read “Resolution (logic)” on DBpedia
Read “Resolution (logic)” on English Wikipedia
Read “導出” on Japanese Wikipedia
Read “Resolution (logic)” on DBpedia
Discussions
Log in to talk about this word.