Similar to 双模倣性
Mizar
Mizar system
M系列
Maximum length sequence
アルゴリズム
Algorithm▼-1 trends
形式手法
Formal methods
形式的検証
Formal verification
述語変換意味論
Predicate transformer semantics
制約論理プログラミング
Constraint logic programming
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
不動点コンビネータ
Fixed-point combinator
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
モデル検査
Model checkingラムダ計算
Lambda calculus
論理プログラミング
Logic programming
DPLLアルゴリズム
DPLL algorithm
0
0▼-1 trends
1
1
2
2▼-1 trends
3
3
4
4▼-1 trends
5
5
6
6▼-1 trends
7
7
8
8
9
9
12345679