双语例句
用作形容词(adj.)
- There are many difficulties in the sequent jobs.
接下来的工作中会有很多困难。 - In the sequent ten years, he travelled almost the whole country.
在接下来的十年里他差不多走遍了整个国家。
用作名词(n.)
- Earthquakes usually bring terrible sequent: people lost their lives and properties.
地震通常会引起非常可怕的后果:人们失去生命和财产。
权威例句
Sequent calculus for classical logic probabilizedContraction-free sequent calculi for intuitionistic logicSequentielle Transformationen in der Organischen Chemie eine Synthesestrategie mit ZukunftPhase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional LogicRem tene, verba sequentur : Ethique de la conservation et de la restauration, codicologie et restaurationA Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus StructureProcede et dispositif servant a effectuer des reactions sequentielles multiples sur une matriceApplication of Multifactor Situation Sequent for Four-element Connection Number in Comprehensive Evaluation of Rice VarietySequential Therapy versus Standard Triple-Drug Therapy for Helicobacter pylori EradicationA Randomized TrialEfficacy of Sequential T...How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi