Similar to ファジィ論理
多値論理
Many-valued logic
M系列
Maximum length sequence
アルゴリズム
Algorithm▲1 trends
アルファベット (計算機科学)
Alphabet (formal languages)
失敗による否定
Negation as failure
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
論理プログラミング
Logic programming
3値論理
Three-valued logic
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
アルゴリズム的確率
Algorithmic probability
0
0
1
1▲1 trends
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
非古典論理
Non-classical logic
確率論理
Probabilistic logic
クリプキ・モデル
Kripke semantics