 |
Theorem Proving
| System
- 只找到单语
| theorem proving | |
| 信息技术 | demostración de teoremas |
| System | |
| 微软 | Sistema |
| system | |
| 地球科学 机械工程 | sistema termodinámico |
| 卫生保健 | emergencias; sistema |
| 数学 | el sistema |
| 微软 | sistema |
| 信息技术 | generación del sistema |
| 国际货币基金组织 | régimen; plan |
| systems | |
| 生态 | sistema |
| |||
| demostración de teoremas | |||
|
Theorem Proving : 5 短语, 1 学科 |
| 信息技术 | 5 |