Similar to DPLLアルゴリズム
アルハゼンの定理
アルバネーゼ多様体
Albanese variety
アルファシェイプ
Alpha shape
アルファ・ベータ法
Alpha–beta pruning
アルファベット (計算機科学)
Alphabet (formal languages)
レオン・バッティスタ・アルベルティ
Leon Battista Albertiアルマゲスト
Almagest
ステファニー・ブリュースター・ブリューワー・テイラー・アレクサンダー
Stephanie B. Alexander
アレクサンダー多項式
Alexander polynomial
アレクサンダーの角付き球面
Alexander horned sphere
アレクサンダーの定理
Alexander's theorem
アレクサンドリアのメネラウス
Menelaus of Alexandria
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
パヴェル・アレクサンドロフ
Pavel Alexandrov
アレクサンドロフ拡大
Alexandroff extensionアレクサンドロフの定理
Alexandrov theorem
アレフ数
Aleph number
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods
CICS
CICS
Communicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
