Similar to ラムダ計算

BAC TSR-2

Biodiversity Heritage Library

B cell

C Sharp (programming language)

CSS

COBOL

13 (number)

19 (number)

40 (number)

70 (number)

1349 (band)

Algorithm

Formal methods

Constraint logic programming

Concurrent constraint logic programming

Concurrent logic programming

Mizar system

Model checking

Logic programming

Daring-class destroyer (1949)

1993 Russian constitutional crisis

Twelve-step program

1940s

1951

DPLL algorithm

Smn theorem

Formal system

Formation rule