- Logic programming (2)
- Computer software--Verification (1)
- Electronic data processing--Distributed processing--Congresses (1)
- Electronic digital computers--Programming (1)
- Logic programming--Congresses (1)
- Logic, Symbolic and mathematical (1)
- Parallel processing (Electronic computers)--Congresses (1)