sequent什么意思 sequent音标、翻译、用法
sequent音标
英 ['si:kwənt]
美 ['sikwənt]
sequent翻译
adj.
接续而来的；
英英释义
sequent[ 'si:kwənt ]
adj.in regular succession without gaps
同义词：consecutivesequentialserialsuccessive
following as an effect or result
"the period of tension and consequent need for military preparedness"
同义词：consequentensuantresultantresulting(a)
sequent用法
双语例句
用作形容词(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