- Artificial intelligence--Congresses (4)
- Computer science--Mathematics--Congresses (2)
- Logic, Symbolic and mathematical--Congresses (2)
- Algebra--Data processing--Congresses (1)
- Automatic theorem proving--Congresses (1)
- Mathematics--Data processing--Congresses (1)
- System design--Congresses (1)
- アルゴリズム (1)
- コード(電子計算機) (1)
- データ処理--代数学 (1)