automated reasoning
| tool
| automated reasoning | |
| IT од. | 自动推理 |
| tool | |
| dril. | 工 具 |
| hydroel.st. | 量具 |
| hydroel.st. од. | 工具 |
| mech. | 钻杆 |
| met. | 刃具; 刀具; 方法; 手段 |
| met. од. | 器械 |
| |||
| ★ 自动推理 | |||
|
automated reasoning : 4 phrases in 3 subjects |
| Artificial intelligence | 1 |
| Electronics | 1 |
| Information technology | 2 |