Similar to 自動定理証明
CAC ワイラウェイ
CAC Wirraway
CAD
Computer-aided design
CAE
Computer-aided engineering
CLU
CLU (programming language)
CODASYL
CODASYL
Common Lisp
Common Lisp
Common Object Request Broker Architecture
Common Object Request Broker Architecture1349
1349 (band)
12345679
論理学
Logic
Colorless green ideas sleep furiously
Colorless green ideas sleep furiouslyTwo wrongs don't make a right
Two wrongs don't make a right
イェール射撃問題
Yale shooting problem
意味論 (論理学)
Semantics
IMRAD
IMRAD
ヴァイシェーシカ学派
Vaisheshikaエティオロジー
Etiology
エルブラン化
Herbrandization
演繹定理
Deduction theorem
解釈可能性論理
Interpretability logic
カルノー図
Karnaugh map
帰謬法 (修辞学)
Reductio ad absurdum
詭弁
Sophism
義務論理
Deontic logic
共義語
Syncategorematic term
議論
Disputation近傍意味論
Neighborhood semantics
クワイン・マクラスキー法
Quine–McCluskey algorithm