Similar to 閉世界仮説
論理プログラミング
Logic programming
失敗による否定
Negation as failure
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
M系列
Maximum length sequence
アルゴリズム
Algorithm
Mizar
Mizar system
2の12乗根
Twelfth root of two
Ba空間
Ba space
Calculus on Manifolds (書籍)
Calculus on Manifolds (book)
D-加群
D-module▲1 trends
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
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends1349
1349 (band)