 |
Theorem Proving
| System
- seuls les mots individuels ont été trouvés
| theorem proving | |
| informat. | demostración de teoremas |
| System | |
| micr. | Sistema |
| system | |
| fond m. | régimen; plan |
| informat. | generación del sistema |
| math. | el sistema |
| micr. | sistema |
| sciences. génie m. | sistema termodinámico |
| soins. | emergencias; sistema |
| systems | |
| astr. | sistemas |
| |||
| demostración de teoremas | |||
|
Theorem Proving : 5 phrases, 1 sujets |
| Informatique | 5 |