Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
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.