- Logic, Symbolic and mathematical--Congresses (3)
- Logic, Symbolic and mathematical (2)
- Algorithms (1)
- Artificial intelligence (1)
- Computer logic--Congresses (1)
- Computer science--Congresses (1)
- Computer science--Mathematics (1)
- Computer science--Mathematics--Congresses (1)
- Computers--Congresses (1)
- Electronic data processing--Congresses (1)