Similar to プロセス計算
ワリード・アルサラム
Waleed Al-Salam
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
アルティンのL-函数
Artin L-function
アルティン・ハッセの指数関数
Artin–Hasse exponential
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
アルティン・ウェダーバーンの定理
Wedderburn–Artin theoremアルティン加群
Artinian moduleアルティン環
Artinian ring
アルティン・シュライアー理論
Artin–Schreier theoryアルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
アルティン・リースの補題
Artin–Rees lemmaアルハゼンの定理
アルバネーゼ多様体
Albanese variety
アルファシェイプ
Alpha shape
アルファ・ベータ法
Alpha–beta pruning
アルファベット (計算機科学)
Alphabet (formal languages)
ロジャー・アルペリン
Roger C. Alperin
形式手法
Formal methods
CICS
CICS
Guarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム