Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Contraverificación automática
Crear pruebas de software automáticas
Demostración automática de teoremas
Desarrollar pruebas de software automatizadas
Desarrollar pruebas de software automáticas
Equipo automático de pruebas
Equipo de prueba automática
Idear pruebas de software automatizadas
Prueba automática
Prueba automática de teoremas
Repetición de prueba automática
Señal de contraverificación automática
Señal de repetición de prueba automática

Traducción de «Prueba automática de teoremas » (Español → Inglés) :

TERMINOLOGÍA
demostración automática de teoremas | prueba automática de teoremas

automatic theorem proving | automated theorem proving | mechanical theorem proving


equipo de prueba automática [ equipo automático de pruebas ]

automatic test equipment


contraverificación automática | repetición de prueba automática

automatic re-test


prueba automática

automatic test [ automatic testing ]


señal de contraverificación automática | señal de repetición de prueba automática

automatic re-test signal


equipo de prueba automática

automatic test equipment | ATE [Abbr.]


crear pruebas de software automáticas | idear pruebas de software automatizadas | desarrollar pruebas de software automáticas | desarrollar pruebas de software automatizadas

design automated software tests | generate automated software tests | build automated software tests | develop automated software tests
IN-CONTEXT TRANSLATIONS
El presente anexo pasa revista a las pautas, a los niveles de accesibilidad, a cómo declarar la conformidad con las mismas, cómo llevar a cabo pruebas de validez respecto a ellas, y a los instrumentos que pueden utilizarse para crear de forma automática sitios web accesibles.

This annex presents an overview of the Guidelines, their accessibility levels, how to declare conformity with the Guidelines, how to perform validity checks of the Guidelines, and tools for creating accessible Web sites automatically.


Este dispositivo efectuará una serie de pruebas automáticas cuando la línea no se utilice y medirá la velocidad y el rendimiento de su conexión de banda ancha.

This device will run a series of automated tests when the line is not in use. It will establish the speed and performance of their broadband connection.


Los Estados miembros podrán decidir que en el permiso de conducción de los vehículos de categoría C, CE, D o DE mencionados en el punto 5.1.2 no se indique ninguna restricción a los vehículos con transmisión automática cuando el solicitante ya sea titular de un permiso de conducción obtenido en un vehículo equipado con un cambio de velocidades manual en al menos una de las categorías siguientes: B, BE, C, CE, C1, C1E, D, DE, D1 o D1E, y haya efectuado durante la prueba de contro ...[+++]

Member States may decide that no restriction to vehicles with automatic transmission shall be recorded on the driving licence for a category C, CE, D or DE vehicle referred to in point 5.1.2, when the applicant already holds a driving licence obtained on a vehicle with manual transmission in at least one of the following categories: B, BE, C, CE, C1, C1E, D, DE, D1 or D1E, and has performed the actions described in point 8.4 during the test of skills and behaviour’.


El contrato de migración debía llegar a su término el 15 de marzo de 2002 y Systran Luxembourg debía aportar, en esa fecha, la prueba actualizada de todos los derechos de propiedad intelectual e industrial reivindicados por el grupo Systran y vinculados al sistema de traducción automática.

The migration contract was due to end on 15 March 2002, and Systran Luxembourg was, on that date, to provide up-to-date proof of all intellectual and industrial property rights claimed by the Systran group and connected with the machine translation system.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Mediante escrito de 17 de noviembre de 2003, la Comisión respondió que el grupo Systran no había aportado la prueba de los derechos de propiedad intelectual que Systran invocaba sobre el programa de traducción automática Systran y que consideraba que Systran no podía oponerse a los trabajos realizados por la sociedad belga Gosselies SA, que había ganado la licitación para dos de los ocho lotes.

By letter of 17 November 2003, the Commission replied that the Systran group had not provided evidence of the intellectual property rights which Systran claimed in the Systran machine translation software and that it considered that Systran could not oppose the works carried out by the Belgian company Gosselies SA, which had tendered successfully for two lots out of eight.


Los Estados miembros podrán decidir que no se indicará ninguna restricción a los vehículos con transmisión automática en el permiso de conducción de los vehículos de categoría C, CE, D o DE mencionados en el punto 5.1.2, si el solicitante ya es titular de un permiso de conducción obtenido en un vehículo equipado con un cambio de velocidades manual en, al menos, una de las categorías siguientes: B, BE, C, CE, C1, C1E, D, D1 o D1E, y ha efectuado las operaciones descritas en el punto 8.4 durante la ...[+++]

Member States may decide that no restriction to vehicles with automatic transmission shall be recorded on the driving licence for a category C, CE, D or DE vehicle referred to in point 5.1.2, when the applicant already holds a driving licence obtained on a vehicle with manual transmission in at least one of the following categories: B, BE, C, CE, C1, C1E, D, D1 or D1E, and has performed the actions described in point 8.4 during the test of skills and behaviour’.


La ausencia de un historial de accidentes no se considerará de forma automática como una prueba de bajo riesgo.

The lack of a history of accidents shall not automatically be considered as evidence of low risk.


Los Estados miembros podrán decidir que en el permiso de conducción de los vehículos de categoría C, CE, D o DE mencionados en el punto 5.1.2 no se indique ninguna restricción a los vehículos con transmisión automática cuando el solicitante ya sea titular de un permiso de conducción obtenido en un vehículo equipado con un cambio de velocidades manual en al menos una de las categorías siguientes: B, BE, C, CE, C1, C1E, D, DE, D1 o D1E, y haya efectuado durante la prueba de contro ...[+++]

Member States may decide that no restriction to vehicles with automatic transmission shall be recorded on the driving licence for a category C, CE, D or DE vehicle referred to in point 5.1.2, when the applicant already holds a driving licence obtained on a vehicle with manual transmission in at least one of the following categories: B, BE, C, CE, C1, C1E, D, DE, D1 or D1E, and has performed the actions described in point 8.4 during the test of skills and behaviour.


Paso 10 – El intervalo de prueba de la desactivación automática puede ser más largo para mejorar la precisión.

Step 10 – The Auto-off testing interval may be longer to improve accuracy.


C. Considerando que el Tribunal de Justicia ha afirmado que el artículo 296 no equivale a una excepción general y automática, que su uso debe justificarse caso por caso, que el recurso al mismo está justificado solamente si es necesario para lograr el objetivo de la protección de los intereses esenciales de seguridad en cuestión y que la carga de la prueba debe incumbir al Estado miembro afectado,

C. whereas the Court of Justice has held that Article 296 does not amount to a general, automatic derogation, that its use must be justified on a case-by-case basis, that recourse to it is justified only if it is necessary for achieving the objective of safeguarding the relevant security interests involved and that the burden of proof must be discharged by the Member State concerned,


w