전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
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.