Theorem Proving

theorem proving
IT	demostración de teoremas

| System

System
comp., MS	Sistema
system
comp., MS	sistema
earth.sc. mech.eng.	sistema termodinámico
health.	emergencias; sistema
IMF.	régimen; plan; sistema
IT	generación del sistema
math.	el sistema

- only individual words found (there may be no translations for some thesaurus entries in the bilingual dictionary)