Similar to カリー＝ハワード同型対応

Apache Subversion

Arduino

ARM architecture family

Association for Computing Machinery

ASTM International

Association for the Taxation of Financial Transactions and for Citizens' Action

AWK

Biodiversity Heritage Library

BRAC (organisation)

Industrial marketing

1

2

3

4

6

7

8

9

1349 (band)

Algorithm

Square root of 2

4-manifold

CR manifold

Institut des Hautes Études Scientifiques

L'Intermédiaire des mathématiciens

P-adic number

Society for Industrial and Applied Mathematics

Vladimir Arnold