- Logic programming--Congresses (2)
- Programming languages (Electronic computers)--Congresses (2)
- Abstract data types (Computer science)--Congresses (1)
- Algebra--Congresses (1)
- Computer software--Development--Congresses (1)
- Computers--Congresses (1)
- Electronic data processing--Congresses (1)
- Electronic digital computers--Programming (1)
- Software engineering--Congresses (1)
- データー処理 (1)
- 電子計算機 (1)