- Electronic digital computers--Programming--Congresses (2)
- Algorithms--Congresses (1)
- Automatic theorem proving Congresses (1)
- Automatic theorem proving--Congresses (1)
- Logic programming--Congresses (1)
- Logic, Symbolic and mathematical Congresses (1)
- Programming languages (Electronic computers)--Congresses (1)
- Rewriting systems (Computer science)--Congresses (1)
- プログラミング(電子計算機) (1)