Similar to 時相論理
2018年の台風
2018 Pacific typhoon season
9.7インチiPad Pro
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
Brilliant.org
Brilliant (website)
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
ギルモアのアルゴリズム
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
自動推論
Automated reasoning
制約論理プログラミング
Constraint logic programming
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Μ再帰関数
General recursive functionラムダ計算
Lambda calculus
論理プログラミング
Logic programming
Mizar
Mizar system
0
0
1
1▲6 trends
2
2
3
3