双语例句
用作形容词(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 probabilized
Contraction-free sequent calculi for intuitionistic logic
Sequentielle Transformationen in der Organischen Chemie eine Synthesestrategie mit Zukunft
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic
Rem tene, verba sequentur : Ethique de la conservation et de la restauration, codicologie et restauration
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure
Procede et dispositif servant a effectuer des reactions sequentielles multiples sur une matrice
Application of Multifactor Situation Sequent for Four-element Connection Number in Comprehensive Evaluation of Rice Variety
Sequential 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