- Algebraic logic--Congresses (2)
- Logic programming--Congresses (2)
- Logic, Symbolic and mathematical--Congresses (2)
- Artificial intelligence--Congresses (1)
- Automatic theorem proving--Congresses (1)
- Computational complexity--Congresses (1)
- Computer science--Congresses (1)
- Data structure (Computer science)--Congresses (1)
- Trees (Graph theory)--Data processing--Congresses (1)