Similar to 自動定理証明

BASIC

Blu-ray

Brilliant (website)

Bücker Bü 133 Jungmeister

C++ Technical Report 1

Boeing C-135 Stratolifter

Cpio

C++

Darwin Information Typing Architecture

Annals of Mathematics

Courant–Friedrichs–Lewy condition

Mizar system

B-Method

Communicating sequential processes

1

2

3

4

5

6

7

8

9

Logic

Two wrongs don't make a right

Yale shooting problem