The new logo is part of our plan to produce consistent naming and badging for all Google product partner programs.
El nuevo logo es parte de un plan para producir nombres e insignias consistentes en todos los programas de certificación de Google.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification.
Coq es un asistente de pruebas de lógica de gran magnitud, que permite el desarrollo de programas informáticos consistentes en su especificación formal.
Elements of treatment are incorporated into a home exercise program, which the patient is expected to perform on a consistent basis.
Los elementos del tratamiento son incorporados en un programa de ejercicios en casa, y se espera que el paciente realice de una forma constante.
The ADS program is consistent with Australia's objective of reducing poverty through human resource development.
Este programa está en consonancia con el objetivo de Australia de reducir la pobreza mediante el desarrollo de los recursos humanos.
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.
Înregistrează-te pentru a accesa mai multe exemple