※一部利用できない機能があります
- Machine theory--Congresses (10)
- Formal languages--Congresses (8)
- Programming languages (Electronic computers)--Congresses (3)
- Programming (Electronic computers)--Congresses (2)
- Algorithms--Congresses (1)
- Categories (Mathematics)--Congresses (1)
- Computable functions--Congresses (1)
- Computational complexity--Congresses (1)
- Electronic digital computers--Programming--Congresses (1)
- Recursion theory--Congresses (1)
- Sequential machine theory--Congresses (1)