Similar to 時相論理

Alexander's theorem

Menelaus of Alexandria

List of things named after Alexander Grothendieck

Pavel Alexandrov

Alexandroff extension

Alexandrov theorem

Aleph number

Allen–Cahn equation

Aronszajn tree

Cryptography

Darkside communication group

Mental calculation

Ensemble Kalman filter

Dark figure of crime

Anscombe's quartet

Safe prime

Specification and Description Language

Formal methods

B-Method

CICS

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept