Similar to 双模倣性
Mizar
Mizar system0
0▲1 trends1
1▼-1 trends2
23
34
45
56
67
78
89
9M系列
Maximum length sequenceアルゴリズム
Algorithmアルファベット (計算機科学)
Alphabet (formal languages)形式手法
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 programmingAxiom (数式処理システム)
Axiom (computer algebra system)