Similar to 自動定理証明
1945年
1945ALGOL
ALGOLBASIC
BASICBlu-ray Disc
Blu-ray0
0▼-1 trends1
12
23
34
45
56
67
78
89
9DPLLアルゴリズム
DPLL algorithm11世紀
11th century13世紀
13th century14世紀
14th century17世紀
17th century1930年代
1930s1984年ロサンゼルスオリンピック
1984 Summer Olympics▲1 trends1997年
199719世紀
19th century2000年
20002型糖尿病
Type 2 diabetes73イースティングの戦い
Battle of 73 Easting7世紀
7th century9世紀
9th century