- Algebra, Boolean (2)
- Artificial intelligence (2)
- Switching theory (2)
- Algorithms (1)
- Electronic digital computers--Programming (1)
- Expert systems (Computer science) (1)
- Logic design (1)
- Logic programming (1)
- Logic, Symbolic and mathematical (1)
- Natural language processing (Computer science) (1)
- プログラミング(電子計算機) (1)
- 記号論理学 (1)