Similar to プログラム意味論
公理的意味論
Axiomatic semantics
Mizar
Mizar system/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
M系列
Maximum length sequence
アルゴリズム
Algorithm▼-1 trends
アルファベット (計算機科学)
Alphabet (formal languages)
形式手法
Formal methods
形式的検証
Formal verification
述語変換意味論
Predicate transformer semantics
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
モデル検査
Model checkingラムダ計算
Lambda calculus
論理プログラミング
Logic programming
2の12乗根
Twelfth root of two
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
Ba空間
Ba space
Calculus on Manifolds (書籍)
Calculus on Manifolds (book)
DPLLアルゴリズム
DPLL algorithm
D-加群
D-module
ESPACE
ESPACEGrundzüge der Mengenlehre
Grundzüge der Mengenlehre