Similar to 閉世界仮説
論理プログラミング
Logic programming
失敗による否定
Negation as failure
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
M系列
Maximum length sequence
アルゴリズム
Algorithm▲1 trends
アルファベット (計算機科学)
Alphabet (formal languages)
Mizar
Mizar system
2の12乗根
Twelfth root of two
Ba空間
Ba space
Calculus on Manifolds (書籍)
Calculus on Manifolds (book)
D-加群
D-module
ESPACE
ESPACEGrundzüge der Mengenlehre
Grundzüge der Mengenlehre
Gδ集合
Gδ set
アリティ
Arity
Extract/Transform/Load
Extract, transform, load
0
0
1
1
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9