Aprendiendo a traducir con los ejemplos de traducciones humanas.
De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
during the initial treatment, the non-linear time-varying clearance pathway is dominant and is consequently the major clearance pathway.
Κατά τη διάρκεια της αρχικής θεραπείας, το μη γραμμικό μονοπάτι κάθαρσης με διακύμανση ως προς το χρόνο επικρατεί και συνιστά κατά συνέπεια μείζον μονοπάτι κάθαρσης.
in logic, linear temporal logic or linear-time temporal logic (ltl) is a modal temporal logic with modalities referring to time.
Η γραμμική χρονική λογική (linear temporal logic, ltl) είναι μια τροπική χρονική λογική με τροπικότητες που αναφέρονται στο χρόνο.
doi= 10.1109/sfcs.1977.32* e. allen emerson, joseph y. halpern: "sometimes" and "not never" revisited: on branching versus linear time temporal logic.
doi= 10.1109/sfcs.1977.32* e. allen emerson, joseph y. halpern: “sometimes” and “not never” revisited: on branching versus linear time temporal logic.