- Machine theory--Congresses (3)
- Petri nets--Congresses (3)
- Artificial intelligence--Congresses (1)
- Artificial intelligence--Industrial applications--Congresses (1)
- Computer science (1)
- Computer science--Mathematics (1)
- Knowledge representation (Information theory)--Congresses (1)
- Logic, Symbolic and mathematical (1)
- Nets (Mathematical)--Congresses (1)
- Reasoning--Congresses (1)
- プログラミング(電子計算機) (1)