automated reasoning
| tools
| automated reasoning | |
| IT од. | 自动推理 |
| tool | |
| hydroel.st. | 量具 |
| hydroel.st. од. | 工具 |
| met. | 刃具 |
| tools | |
| anim.husb. | 用具 |
| auto. | 工具包; 工具装备 |
| dril. | 工 具 |
| el. | 工具 |
| mech. | 钻杆 |
| |||
| ★ 自动推理 | |||
|
automated reasoning : 4 phrases in 3 subjects |
| Artificial intelligence | 1 |
| Electronics | 1 |
| Information technology | 2 |