- Logic, Symbolic and mathematical--Congresses (6)
- Computer science--Congresses (4)
- Computer logic--Congresses (3)
- Computational complexity--Congresses (1)
- Computer science--Mathematics (1)
- Computer science--Mathematics--Congresses (1)
- Computers--Congresses (1)
- Decision-making--Congresses (1)
- Electronic data processing--Congresses (1)
- Logic, Symbolic and mathematical (1)
- Machine theory--Congresses (1)
- 機械論 (1)