Similar to デービス・パトナムのアルゴリズム
アリティ
Arity
Arithmetica Universalis
Arithmetica Universalis
有馬頼徸
Arima Yoriyuki
アル・ファクリ
ジョヴァンニ・サルヴェミニ
Giovanni Salvemini
アル＝カーシー
Jamshid al-Kashi
アル＝カラジ
Al-Karajiアルキタス
Archytas
アルキメデス
Archimedes▲2 trends
アルキメデス・パリンプセスト
Archimedes Palimpsestアルクィン数
Alcuin's sequence
アルゴリズム情報理論
Algorithmic information theory
アルゴリズム的ランダムな無限列
Algorithmically random sequence
アルゴリズム的確率
Algorithmic probability
ワリード・アルサラム
Waleed Al-Salam
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods
CICS
CICSGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
