Similar to 並行制約プログラミング

Leon Battista Alberti

Almagest

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

Allen–Cahn equation

Nachman Aronszajn

Aronszajn tree

Specification and Description Language

B-Method

CICS

Communicating sequential processes

Lustre (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Gröbner basis

Formal specification

Formal equivalence checking

Automated theorem proving