![]() |
| theorem proving | |
| IT | demostración de teoremas |
| System | |
| comp., MS | Sistema |
| system | |
| comp., MS | sistema |
| earth.sc. mech.eng. | sistema termodinámico |
| health. | emergencias; sistema |
| IMF. | régimen; plan |
| IT | generación del sistema |
| math. | el sistema |
| systems | |
| astr. | sistemas |
| |||
| demostración de teoremas | |||
|
Theorem Proving : 5 phrases in 1 subject |
| Information technology | 5 |