Term

J-GLOBAL ID：200906050047125808

theorem proving

電子計算機
Related terms (2)：

artificial intelligence (人工知能)
About artificial intelligence
- Search "artificial intelligence"
- Detailed information
lemma (補題)
About lemma
- Search "lemma"
- Detailed information

Broader terms (1)：

proof (evidence) (証明)
About proof (evidence)
- Search "proof (evidence)"
- Detailed information

Narrower terms (4)：

Tableau approach (タブロー法)
About Tableau approach
- Search "Tableau approach"
- Detailed information
counterexample (反例)
About counterexample
- Search "counterexample"
- Detailed information
Automated theorem proving (自動定理証明)
About Automated theorem proving
- Search "Automated theorem proving"
- Detailed information
Bounded real lemma (有界実補題)
About Bounded real lemma
- Search "Bounded real lemma"
- Detailed information

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page

TOP

BOTTOM