- Automatic theorem proving--Congresses (1)
- Computer-aided design--Congresses (1)
- Integrated circuits--Verification--Congresses (1)
- Integrated circuits--Very large scale integration--Computer-aided design--Congresses (1)
- Integrated circuits--Very large scale integration--Design and construction--Data processing--Congresses (1)
- 電子装置の応用 (1)