- Logic, Symbolic and mathematical--Congresses (2)
- Algebra, Universal--Data processing (1)
- Algorithms (1)
- Artificial intelligence--Congresses (1)
- Computer science--Mathematics (1)
- Computer science--Mathematics--Congresses (1)
- Computers--Congresses (1)
- Electronic data processing--Congresses (1)
- Expert systems (Computer science)--Congresses (1)
- Logic, Symbolic and mathematical (1)
- Model theory--Congresses (1)
- Rewriting systems (Computer science) (1)
- Set theory--Congresses (1)