- 計算量理論 (5)
- オートマトン (4)
- アルゴリズム (3)
- 情報科学 (3)
- Computational complexity--Congresses (1)
- Computer algorithms--Congresses (1)
- Kolmogorov complexity--Congresses (1)
- Machine learning--Congresses (1)
- コンピュータ--便覧 (1)
- 人工知能 (1)
- 形式言語 (1)
- 情報理論--便覧 (1)
- 数学基礎論 (1)
- 複雑系 (1)
- 記号論理学 (1)