![]() |
| theorem proving | |
| IT | demostración de teoremas |
| System | |
| micr. | Sistema |
| system | |
| geow. Maschinenb. | sistema termodinámico |
| gesundh. | emergencias; sistema |
| IT | generación del sistema |
| IWF | régimen; plan |
| Math. | el sistema |
| micr. | sistema |
| systems | |
| Astron. | sistemas |
| |||
| demostración de teoremas | |||
|
Theorem Proving : 5 Phrasen in 1 Thematik |
| Informationstechnik | 5 |