- Compilers (Computer programs) (2)
- Electronic digital computers--Programming--Congresses (2)
- Programming languages (Electronic computers)--Congresses (2)
- Algebra--Congresses (1)
- Algebras, Linear--Data processing (1)
- CIP-S (Computer system) (1)
- Computational complexity--Congresses (1)
- Computer science--Mathematics (1)
- Computer security--Congresses (1)
- Cryptography--Congresses (1)
- Elcetronic digital computers--Programming (1)
- Electronic digital computers--Programming--Addresses, essays, lectures (1)
- Logic programming--Congresses (1)
- Logic, Symbolic and mathematical (1)
- プログラミング用言語 (1)
- 電子計算機 (1)