- Discoveries in science--Congresses (5)
- Science--Philosophy--Congresses (5)
- Computer science--Congresses (4)
- Artificial intelligence--Congresses (2)
- Computer algorithms--Congresses (2)
- Machine learning--Congresses (2)
- アルゴリズム (2)
- Analogy--Congresses (1)
- Inference--Congresses (1)
- Reasoning--Congresses (1)
- オートマトン (1)
- プログラミング(電子計算機) (1)
- プログラミング用語集 (1)
- 帰納法 (1)