- Automatic theorem proving--Congresses (2)
- Logic, Symbolic and mathematical--Congresses (2)
- Computer logic--Congresses (1)
- Data base management (1)
- Data base management--Congresses (1)
- Database management--Congresses (1)
- Engineering--Data processing--Congresses (1)
- Expert systems (Computer science)--Congresses (1)
- Logic programming (1)