- Automatic theorem proving--Congresses (76)
- Logic, Symbolic and mathematical--Congresses (25)
- Logic programming--Congresses (12)
- Computer logic--Congresses (5)
- Computer programming--Congresses (5)
- Computer-aided design--Congresses (5)
- Geometry--Data processing--Congresses (5)
- Artificial intelligence--Congresses (4)
- Digital integrated circuits--Design and construction--Data processing--Congresses (4)
- Type theory--Congresses (4)
- Integrated circuits--Verification--Congresses (3)
- Computer programs--Congresses (2)
- Parallel processing (Electronic computers)--Congresses (2)
- Computer engineering--Computer-aided design--Congresses (1)
- Computer vision--Congresses (1)
- Data mining--Congresses (1)
- Database management--Congresses (1)
- Digital integrated circuits--Computer-aided design--Congresses (1)
- Formal methods (Computer science)--Congresses (1)
- Knowledge acquisition (Expert systems)--Congresses (1)
- Mathematics--Data processing--Congresses (1)
- Reasoning--Congresses (1)
- Robotics--Congresses (1)
- System design--Congresses (1)
- integrated circuits--Very large scale integration--Design and construction--Data processing--Congresses (1)